2026conference

LogSTOP: Temporal Scores over Prediction Sequences for Matching and Retrieval

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

Conference on Neural Information Processing Systems (NeurIPS), 2026

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 = {Conference on Neural Information Processing Systems (NeurIPS), 2026},
  year = {2026},
  url = {https://arxiv.org/abs/2510.06512},
  keywords = {Runtime Verification and Monitoring, Learning-based Control and Analysis}
}