2025journal

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications

Yiqi Zhao, Emily Zhu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V Deshmukh, Lars Lindemann

Transactions on Cyber-Physical Systems (TCPS), 2025

Topics: Runtime Verification and Monitoring

Citation

@article{Zhao25,
  title = {Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications},
  author = {Yiqi Zhao and Emily Zhu and Bardh Hoxha and Georgios Fainekos and Jyotirmoy V Deshmukh and Lars Lindemann},
  booktitle = {Transactions on Cyber-Physical Systems (TCPS), 2025},
  year = {2025},
  url = {https://arxiv.org/abs/2504.02964},
  keywords = {Runtime Verification and Monitoring}
}