3 papers
cs.AI2025
Conformal Predictive Monitoring for Multi-Modal Scenarios
Francesca Cairoli, Luca Bortolussi, Jyotirmoy V. Deshmukh +2
We consider the problem of quantitative predictive monitoring (QPM) of stochastic systems, i.e., predicting at runtime the degree of satisfaction of a desired temporal logic proper…
cs.RO2025
PCA-DDReach: Efficient Statistical Reachability Analysis of Stochastic Dynamical Systems via Principal Component Analysis
Navid Hashemi, Lars Lindemann, Jyotirmoy Deshmukh
This study presents a scalable data-driven algorithm designed to efficiently address the challenging problem of reachability analysis. Analysis of cyber-physical systems (CPS) reli…
eess.SY2025
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…