Papers

See below for a list of all papers 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
2. Anderson, J., Fainekos, G., Hoxha, B., Okamoto, H., & Prokhorov, D. (2024). Querying Perception Streams with Spatial Regular Expressions. arXiv preprint arXiv:2411.05946. https://arxiv.org/abs/2411.05946