2024journal

Querying Perception Streams with Spatial Regular Expressions

Jacob Anderson, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil Prokhorov

Software Tools for Technology Transfer, 2024

Topics: Runtime Verification and Monitoring

Citation

@article{STTT2024,
  title = {Querying Perception Streams with Spatial Regular Expressions},
  author = {Jacob Anderson and Georgios Fainekos and Bardh Hoxha and Hideki Okamoto and Danil Prokhorov},
  booktitle = {Software Tools for Technology Transfer, 2024},
  year = {2024},
  url = {https://arxiv.org/pdf/2411.05946},
  code = {https://github.com/cps-atlas/strem},
  keywords = {Runtime Verification and Monitoring}
}