v1v2 (latest)

Conformal Prediction for STL Runtime Verification

Allerton Conference on Communication, Control, and Computing (Allerton), 2022

3 November 2022

Lars Lindemann

Xin Qin

Jyotirmoy V. Deshmukh

George J. Pappas

ArXiv (abs)PDF HTML

Papers citing "Conformal Prediction for STL Runtime Verification"

31 / 31 papers shown

Title
Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous SystemsElectronic Proceedings in Theoretical Computer Science (EPTCS), 2025 Angelo Ferrando 89 0 0 18 Nov 2025
Conformal Prediction for Signal Temporal Logic Inference Danyang Li Yixuan Wang Matthew Cleaveland Mingyu Cai Roberto Tron AI4TS 116 0 0 29 Sep 2025
Conformal Predictive Monitoring for Multi-Modal ScenariosRuntime Verification (RV), 2025 Francesca Cairoli Luca Bortolussi Jyotirmoy Deshmukh Lars Lindemann Nicola Paoletti 104 0 0 01 Sep 2025
How Safe Will I Be Given What I Saw? Calibrated Prediction of Safety Chances for Image-Controlled Autonomy Zhenjiang Mao Mrinall Eashaan Umasudhan Ivan Ruchkin 118 1 0 12 Aug 2025
CoCAI: Copula-based Conformal Anomaly Identification for Multivariate Time-SeriesRuntime Verification (RV), 2025 Nicholas A. Pearson Francesca Zanello Davide Russo Luca Bortolussi Francesca Cairoli AI4TS 75 0 0 23 Jul 2025
Monitor and Recover: A Paradigm for Future Research on Distribution Shift in Learning-Enabled Cyber-Physical SystemsInternational Conference on Cyber-Physical Systems (ICCPS), 2025 Vivian Lin Insup Lee 192 0 0 18 Apr 2025
Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications Yiqi Zhao Emily Zhu Bardh Hoxha Georgios Fainekos Jyotirmoy Deshmukh Lars Lindemann 397 2 0 03 Apr 2025
Quantitative Predictive Monitoring and Control for Safe Human-Machine InteractionAAAI Conference on Artificial Intelligence (AAAI), 2024 Shuyang Dong Meiyi Ma Josephine Lamp Sebastian G. Elbaum Matthew B. Dwyer Lu Feng 237 0 0 17 Dec 2024
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy Deshmukh 1.1K 33 0 31 Aug 2024
Learning Temporal Logic Predicates from Data with Statistical GuaranteesConference on Learning for Dynamics & Control (L4DC), 2024 Emi Soroka Rohan Sinha Sanjay Lall 251 2 0 15 Jun 2024
Recursively Feasible Shrinking-Horizon MPC in Dynamic Environments with Conformal Prediction GuaranteesConference on Learning for Dynamics & Control (L4DC), 2024 Charis J. Stamouli Lars Lindemann George J. Pappas 304 11 0 17 May 2024
Conformal Off-Policy Prediction for Multi-Agent Systems Tom Kuipers Renukanandan Tumu Shuo Yang Milad Kazemi Rahul Mangharam Nicola Paoletti OffRL 292 3 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 346 60 0 23 Mar 2024
Safe Planning through Incremental Decomposition of Signal Temporal Logic SpecificationsNASA Formal Methods (NFM), 2024 Parv Kapoor Eunsuk Kang Romulo Meira-Goes 148 7 0 13 Mar 2024
Towards Safe and Reliable Autonomous Driving: Dynamic Occupancy Set Prediction Wenbo Shao Jiahui Xu Wenhao Yu Jun Li Hong Wang 166 1 0 29 Feb 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 170 39 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 159 3 0 12 Dec 2023
Learning-Based Approaches to Predictive Monitoring with Conformal Statistical GuaranteesRuntime Verification (RV), 2023 Francesca Cairoli Luca Bortolussi Nicola Paoletti 301 6 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 309 21 0 16 Nov 2023
Bridging Dimensions: Confident Reachability for High-Dimensional Controllers Yuang Geng Jake Brandon Baldauf Souradeep Dutta Chao Huang Ivan Ruchkin 407 8 0 08 Nov 2023
Forking Uncertainties: Reliable Prediction and Model Predictive Control with Sequence Models via Conformal Risk ControlIEEE Journal on Selected Areas in Information Theory (JSAIT), 2023 Matteo Zecchin Sangwoo Park Osvaldo Simeone 343 23 0 16 Oct 2023
Runtime Monitoring DNN-Based PerceptionRuntime Verification (RV), 2023 Chih-Hong Cheng Michael Luttenberger Rongjie Yan 114 3 0 06 Oct 2023
Conformal Temporal Logic Planning using Large Language ModelsACM Transactions on Cyber-Physical Systems (ACM TCPS), 2023 Jun Wang J. Tong Kai Liang Tan Yevgeniy Vorobeychik Y. Kantaros LM&Ro 566 24 0 18 Sep 2023
Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal InferenceIEEE Conference on Decision and Control (CDC), 2023 Navid Hashemi Xin Qin Lars Lindemann Jyotirmoy V. Deshmukh AI4CE 330 23 0 17 Sep 2023
Distributionally Robust Statistical Verification with Imprecise Neural NetworksInternational Conference on Hybrid Systems: Computation and Control (HSCC), 2023 Souradeep Dutta Michele Caprio Vivian Lin Matthew Cleaveland Kuk Jin Jang I. Ruchkin O. Sokolsky Insup Lee OOD AAML 697 15 0 28 Aug 2023
How Safe Am I Given What I See? Calibrated Prediction of Safety Chances for Image-Controlled AutonomyConference on Learning for Dynamics & Control (L4DC), 2023 Zhenjiang Mao Carson Sobolewski I. Ruchkin 325 11 0 23 Aug 2023
Robots That Ask For Help: Uncertainty Alignment for Large Language Model PlannersConference on Robot Learning (CoRL), 2023 Allen Z. Ren Anushri Dixit Alexandra Bodrova Sumeet Singh Stephen Tu ... Jacob Varley Zhenjia Xu Dorsa Sadigh Andy Zeng Anirudha Majumdar LM&Ro 421 295 0 04 Jul 2023
Conformal Prediction Regions for Time Series using Linear Complementarity ProgrammingAAAI Conference on Artificial Intelligence (AAAI), 2023 Matthew Cleaveland Insup Lee George J. Pappas Lars Lindemann 594 44 0 03 Apr 2023
Adaptive Conformal Prediction for Motion Planning among Dynamic AgentsConference on Learning for Dynamics & Control (L4DC), 2022 Anushri Dixit Lars Lindemann Skylar X. Wei Matthew Cleaveland George J. Pappas J. W. Burdick 329 81 0 01 Dec 2022
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic ProcessesInternational Conference on Hybrid Systems: Computation and Control (HSCC), 2022 Francesca Cairoli Nicola Paoletti Luca Bortolussi 292 24 0 04 Nov 2022
Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model CheckingRuntime Verification (RV), 2022 Luca Bortolussi Francesca Cairoli Ginevra Carbone Paolo Pulcini 194 1 0 11 May 2022