Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes

4 November 2022

Papers citing "Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes"

11 / 11 papers shown

Title
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
Certified Guidance for Planning with Deep Generative Models Francesco Giacomarra Mehran Hosseini Nicola Paoletti Francesca Cairoli 43 0 0 22 Jan 2025
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy V. Deshmukh 57 13 0 31 Aug 2024
Learning Temporal Logic Predicates from Data with Statistical Guarantees Emi Soroka Rohan Sinha Sanjay Lall 30 0 0 15 Jun 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
Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees Francesca Cairoli Luca Bortolussi Nicola Paoletti 21 3 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 21 13 0 16 Nov 2023
Forking Uncertainties: Reliable Prediction and Model Predictive Control with Sequence Models via Conformal Risk Control Matteo Zecchin Sangwoo Park Osvaldo Simeone 26 15 0 16 Oct 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
Conformal Prediction for STL Runtime Verification Lars Lindemann Xin Qin Jyotirmoy V. Deshmukh George J. Pappas 13 43 0 03 Nov 2022
Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking Luca Bortolussi Francesca Cairoli Ginevra Carbone Paolo Pulcini 29 1 0 11 May 2022