Publications

See below for a list of all publications relevant to the STREM tool, accordingly:

1. Anderson, J., Fainekos, G., Hoxha, B., Okamoto, H., Prokhorov, D. (2023). Pattern Matching for Perception Streams. In: Katsaros, P., Nenzi, L. (eds) Runtime Verification. RV 2023. Lecture Notes in Computer Science, vol 14245. Springer, Cham. https://doi.org/10.1007/978-3-031-44267-4_13