2025preprint

LogSTOP: Temporal Scores over Prediction Sequences for Matching and Retrieval

Avishree Khare, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos, Rajeev Alur

arXiv preprint, 2025

Topics: Runtime Verification and Monitoring; Learning-based Control and Analysis

Citation

@inproceedings{Anderson25-LogSTOP,
  title = {LogSTOP: Temporal Scores over Prediction Sequences for Matching and Retrieval},
  author = {Avishree Khare, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos, Rajeev Alur},
  booktitle = {arXiv preprint, 2025},
  year = {2025},
  url = {https://arxiv.org/pdf/2510.06512},
  keywords = {Runtime Verification and Monitoring, Learning-based Control and Analysis}
}