2023conference

Pattern Matching for Perception Streams

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

International Conference on Runtime Verification

Finalist for Best Paper Award

Topics: Runtime Verification and Monitoring

Citation

@inproceedings{anderson2023pattern,
  title = {Pattern Matching for Perception Streams},
  author = {Anderson, Jacob and Fainekos, Georgios and Hoxha, Bardh and Okamoto, Hideki and Prokhorov, Danil},
  booktitle = {International Conference on Runtime Verification},
  pages = {251--270},
  year = {2023},
  organization = {Springer Nature Switzerland Cham},
  code = {https://github.com/strem-org},
  award = {Finalist for Best Paper Award},
  url = {https://www.bhoxha.com/papers/RV2023.pdf},
  keywords = {Runtime Verification and Monitoring}
}