Robust Conformal Prediction for STL Runtime Verification under
Distribution Shift

v1v2 (latest)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift

16 November 2023

Yiqi Zhao

Georgios Fainekos

Jyotirmoy V. Deshmukh

ArXiv (abs)PDF HTML

Papers citing "Robust Conformal Prediction for STL Runtime Verification under Distribution Shift"

8 / 8 papers shown

Title
Conformal Predictive Monitoring for Multi-Modal ScenariosRuntime Verification (RV), 2025 Francesca Cairoli Luca Bortolussi Jyotirmoy Deshmukh Lars Lindemann Nicola Paoletti 120 0 0 01 Sep 2025
CoCAI: Copula-based Conformal Anomaly Identification for Multivariate Time-SeriesRuntime Verification (RV), 2025 Nicholas A. Pearson Francesca Zanello Davide Russo Luca Bortolussi Francesca Cairoli AI4TS 83 0 0 23 Jul 2025
Monitor and Recover: A Paradigm for Future Research on Distribution Shift in Learning-Enabled Cyber-Physical SystemsInternational Conference on Cyber-Physical Systems (ICCPS), 2025 Vivian Lin Insup Lee 232 0 0 18 Apr 2025
Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications Yiqi Zhao Emily Zhu Bardh Hoxha Georgios Fainekos Jyotirmoy Deshmukh Lars Lindemann 429 2 0 03 Apr 2025
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy Deshmukh 1.1K 37 0 31 Aug 2024
Learning Temporal Logic Predicates from Data with Statistical GuaranteesConference on Learning for Dynamics & Control (L4DC), 2024 Emi Soroka Rohan Sinha Sanjay Lall 263 2 0 15 Jun 2024
Conformal Predictive Programming for Chance Constrained Optimization Yiqi Zhao Xinyi Yu Matteo Sesia Lars Lindemann Lars Lindemann 367 8 0 12 Feb 2024
Distributionally Robust Statistical Verification with Imprecise Neural NetworksInternational Conference on Hybrid Systems: Computation and Control (HSCC), 2023 Souradeep Dutta Michele Caprio Vivian Lin Matthew Cleaveland Kuk Jin Jang I. Ruchkin O. Sokolsky Insup Lee OOD AAML 697 15 0 28 Aug 2023