Formal Verification and Control with Conformal Prediction

Formal Verification and Control with Conformal Prediction

31 August 2024

George J. Pappas

Jyotirmoy V. Deshmukh

Papers citing "Formal Verification and Control with Conformal Prediction"

12 / 12 papers shown

Title
Multi-Robot Coordination with Adversarial Perception Rayan Bahrami H. Jafarnejadsani AAML 29 0 0 12 Apr 2025
Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications Yiqi Zhao Emily Zhu Bardh Hoxha Georgios Fainekos Jyotirmoy V. Deshmukh Lars Lindemann 24 0 0 03 Apr 2025
Bridging conformal prediction and scenario optimization Niall O'Sullivan Licio Romao Kostas Margellos 34 0 0 30 Mar 2025
Decision Theoretic Foundations for Conformal Prediction: Optimal Uncertainty Quantification for Risk-Averse Agents Shayan Kiyani George Pappas Aaron Roth Hamed Hassani 100 3 0 04 Feb 2025
C-Adapter: Adapting Deep Classifiers for Efficient Conformal Prediction Sets Kangdao Liu Hao Zeng Jianguo Huang Huiping Zhuang Chi-Man Vong Hongxin Wei 52 4 0 12 Oct 2024
Conformal Prediction: A Data Perspective Xiaofan Zhou Baiting Chen Yu Gui Lu Cheng 35 2 0 09 Oct 2024
Conformalized Adaptive Forecasting of Heterogeneous Trajectories Yanfei Zhou Lars Lindemann Matteo Sesia AI4TS 29 6 0 14 Feb 2024
Conformal Predictive Programming for Chance Constrained Optimization Yiqi Zhao Xinyi Yu Matteo Sesia Lars Lindemann Lars Lindemann 25 3 0 12 Feb 2024
PAC-Bayes Generalization Certificates for Learned Inductive Conformal Prediction Apoorva Sharma Sushant Veer Asher Hancock Heng Yang Marco Pavone Anirudha Majumdar 33 8 0 07 Dec 2023
Achieving Risk Control in Online Learning Settings Shai Feldman Liran Ringel Stephen Bates Yaniv Romano 53 28 0 18 May 2022
Real-time Out-of-distribution Detection in Learning-Enabled Cyber-Physical Systems Feiyang Cai X. Koutsoukos OODD 109 68 0 28 Jan 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 219 1,818 0 03 Feb 2017