Robust Conformal Prediction for STL Runtime Verification under
Distribution Shift

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift

16 November 2023

Yiqi Zhao

Georgios Fainekos

Jyotirmoy V. Deshmukh

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

5 / 5 papers shown

Title
Plug-and-Play Physics-informed Learning using Uncertainty Quantified Port-Hamiltonian Models Kaiyuan Tan Peilun Li J. Wang Thomas Beckers AI4CE 17 0 0 24 Apr 2025
Monitor and Recover: A Paradigm for Future Research on Distribution Shift in Learning-Enabled Cyber-Physical Systems Vivian Lin Insup Lee 30 0 0 18 Apr 2025
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy V. Deshmukh 55 12 0 31 Aug 2024
Learning Temporal Logic Predicates from Data with Statistical Guarantees Emi Soroka Rohan Sinha Sanjay Lall 25 0 0 15 Jun 2024
Conformal Predictive Programming for Chance Constrained Optimization Yiqi Zhao Xinyi Yu Matteo Sesia Lars Lindemann Lars Lindemann 34 3 0 12 Feb 2024