Conformal Prediction for STL Runtime Verification

3 November 2022

Lars Lindemann

Xin Qin

Jyotirmoy V. Deshmukh

George J. Pappas

ArXiv PDF HTML

Papers citing "Conformal Prediction for STL Runtime Verification"

29 / 29 papers shown

Title
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
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
Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction Shuyang Dong Meiyi Ma Josephine Lamp Sebastian G. Elbaum Matthew B. Dwyer Lu Feng 77 0 0 17 Dec 2024
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy V. Deshmukh 70 14 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
Recursively Feasible Shrinking-Horizon MPC in Dynamic Environments with Conformal Prediction Guarantees Charis J. Stamouli Lars Lindemann George J. Pappas 36 6 0 17 May 2024
Conformal Off-Policy Prediction for Multi-Agent Systems Tom Kuipers Renukanandan Tumu Shuo Yang M. Kazemi Rahul Mangharam Nicola Paoletti OffRL 38 1 0 25 Mar 2024
Explore until Confident: Efficient Exploration for Embodied Question Answering Allen Z. Ren Jaden Clark Anushri Dixit Masha Itkina Anirudha Majumdar Dorsa Sadigh 42 28 0 23 Mar 2024
Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications Parv Kapoor Eunsuk Kang Romulo Meira-Goes 21 2 0 13 Mar 2024
Towards Safe and Reliable Autonomous Driving: Dynamic Occupancy Set Prediction Wenbo Shao Jiahui Xu Wenhao Yu Jun Li Hong Wang 47 1 0 29 Feb 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 37 18 0 20 Feb 2024
Multi-Modal Conformal Prediction Regions with Simple Structures by Optimizing Convex Shape Templates Renukanandan Tumu Matthew Cleaveland Rahul Mangharam George J. Pappas Lars Lindemann 28 2 0 12 Dec 2023
Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees Francesca Cairoli Luca Bortolussi Nicola Paoletti 26 4 0 04 Dec 2023
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift Yiqi Zhao Bardh Hoxha Georgios Fainekos Jyotirmoy V. Deshmukh Lars Lindemann 23 14 0 16 Nov 2023
Bridging Dimensions: Confident Reachability for High-Dimensional Controllers Yuang Geng Jake Brandon Baldauf Souradeep Dutta Chao Huang Ivan Ruchkin 32 5 0 08 Nov 2023
Forking Uncertainties: Reliable Prediction and Model Predictive Control with Sequence Models via Conformal Risk Control Matteo Zecchin Sangwoo Park Osvaldo Simeone 36 15 0 16 Oct 2023
Runtime Monitoring DNN-Based Perception Chih-Hong Cheng Michael Luttenberger Rongjie Yan 19 1 0 06 Oct 2023
Conformal Temporal Logic Planning using Large Language Models Jun Wang J. Tong Kai Liang Tan Yevgeniy Vorobeychik Y. Kantaros LM&Ro 47 20 0 18 Sep 2023
Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference Navid Hashemi Xin Qin Lars Lindemann Jyotirmoy V. Deshmukh AI4CE 29 17 0 17 Sep 2023
Distributionally Robust Statistical Verification with Imprecise Neural Networks Souradeep Dutta Michele Caprio Vivian Lin Matthew Cleaveland Kuk Jin Jang I. Ruchkin O. Sokolsky Insup Lee OOD AAML 49 7 0 28 Aug 2023
How Safe Am I Given What I See? Calibrated Prediction of Safety Chances for Image-Controlled Autonomy Zhenjiang Mao Carson Sobolewski I. Ruchkin 32 8 0 23 Aug 2023
Robots That Ask For Help: Uncertainty Alignment for Large Language Model Planners Allen Z. Ren Anushri Dixit Alexandra Bodrova Sumeet Singh Stephen Tu ... Jacob Varley Zhenjia Xu Dorsa Sadigh Andy Zeng Anirudha Majumdar LM&Ro 61 219 0 04 Jul 2023
Conformal Prediction Regions for Time Series using Linear Complementarity Programming Matthew Cleaveland Insup Lee George J. Pappas Lars Lindemann 30 29 0 03 Apr 2023
Adaptive Conformal Prediction for Motion Planning among Dynamic Agents Anushri Dixit Lars Lindemann Skylar X. Wei Matthew Cleaveland George J. Pappas J. W. Burdick 32 60 0 01 Dec 2022
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes Francesca Cairoli Nicola Paoletti Luca Bortolussi 25 18 0 04 Nov 2022
Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking Luca Bortolussi Francesca Cairoli Ginevra Carbone Paolo Pulcini 37 1 0 11 May 2022
Confidence Composition for Monitors of Verification Assumptions I. Ruchkin Matthew Cleaveland Radoslav Ivanov Pengyuan Lu Taylor J. Carpenter O. Sokolsky Insup Lee 38 13 0 03 Nov 2021
Assurance Monitoring of Learning Enabled Cyber-Physical Systems Using Inductive Conformal Prediction based on Distance Learning Dimitrios Boursinos X. Koutsoukos 38 11 0 07 Oct 2021
Sample-Efficient Safety Assurances using Conformal Prediction Rachel Luo Shengjia Zhao Jonathan Kuck Boris Ivanovic Silvio Savarese Edward Schmerling Marco Pavone 58 56 0 28 Sep 2021