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"

14 / 14 papers shown

Title
Real-Time Out-of-Distribution Failure Prevention via Multi-Modal Reasoning Milan Ganai Rohan Sinha Christopher Agia D. Morton Marco Pavone OffRL LRM AI4CE 27 0 0 15 May 2025
Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics Manish Prajapat Johannes Köhler Amon Lahr Andreas Krause M. Zeilinger 38 0 0 12 May 2025
Multi-Robot Coordination with Adversarial Perception Rayan Bahrami H. Jafarnejadsani AAML 47 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 29 0 0 03 Apr 2025
Bridging conformal prediction and scenario optimization Niall O'Sullivan Licio Romao Kostas Margellos 37 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 116 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 69 4 0 12 Oct 2024
Conformal Prediction: A Data Perspective Xiaofan Zhou Baiting Chen Yu Gui Lu Cheng 88 3 0 09 Oct 2024
Conformalized Adaptive Forecasting of Heterogeneous Trajectories Yanfei Zhou Lars Lindemann Matteo Sesia AI4TS 37 6 0 14 Feb 2024
Conformal Predictive Programming for Chance Constrained Optimization Yiqi Zhao Xinyi Yu Matteo Sesia Lars Lindemann Lars Lindemann 42 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 47 8 0 07 Dec 2023
Achieving Risk Control in Online Learning Settings Shai Feldman Liran Ringel Stephen Bates Yaniv Romano 78 28 0 18 May 2022
Real-time Out-of-distribution Detection in Learning-Enabled Cyber-Physical Systems Feiyang Cai X. Koutsoukos OODD 121 73 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 231 1,837 0 03 Feb 2017