Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications

Yiqi Zhao, Emily Zhu, Bardh Hoxha +3

Cyber-physical systems (CPS) designed in simulators, often consisting of multiple interacting agents (e.g. in multi-agent formations), behave differently in the real-world. We want…