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 Jun Wang Thomas Beckers AI4CE 29 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 33 0 0 18 Apr 2025
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy Deshmukh 78 15 0 31 Aug 2024
Learning Temporal Logic Predicates from Data with Statistical Guarantees Emi Soroka Rohan Sinha Sanjay Lall 36 0 0 15 Jun 2024
Conformal Predictive Programming for Chance Constrained Optimization Yiqi Zhao Xinyi Yu Matteo Sesia Lars Lindemann Lars Lindemann 42 3 0 12 Feb 2024