How Safe Am I Given What I See? Calibrated Prediction of Safety Chances for Image-Controlled Autonomy
Not on the map. Why?
Abstract (arXiv)
End-to-end learning has emerged as a major paradigm for developing autonomous systems. Unfortunately, with its performance and convenience comes an even greater challenge of safety assurance. A key factor of this challenge is the absence of the notion of a low-dimensional and interpretable dynamical state, around which traditional assurance methods revolve. Focusing on the online safety prediction problem, this paper proposes a configurable family of learning pipelines based on generative world models, which do not require low-dimensional states. To implement these pipelines, we overcome the challenges of learning safety-informed latent representations and missing safety labels under prediction-induced distribution shift. These pipelines come with statistical calibration guarantees on their safety chance predictions based on conformal prediction. We perform an extensive evaluation of the proposed learning pipelines on two case studies of image-controlled systems: a racing car and a cartpole.
Key facts. Cited by 8 papers in the map (data through 14 Oct 2026). Builds on 52 of its 88 references that are in the map. First posted on arXiv 23 Aug 2023.
Builds on
52 of 88 references.
References · 52
- 2021Learning Transferable Visual Models From Natural Language Supervisioncited by 33,744
- 2017On Calibration of Modern Neural Networkscited by 4,960
- 2017Neural Discrete Representation Learningcited by 4,712
- 2016OpenAI Gymcited by 1,736
- 2019Dream to Control: Learning Behaviors by Latent Imaginationcited by 1,653
- 2015Convolutional LSTM Network: A Machine Learning Approach for Precipitation Nowcastingcited by 1,436
- 2020Mastering Atari with Discrete World Modelscited by 1,007
- 2018Recurrent World Models Facilitate Policy Evolutioncited by 785
- 2016Distribution-Free Predictive Inference For Regressioncited by 668
- 2021VideoGPT: Video Generation using VQ-VAE and Transformerscited by 658
- 2017End-to-end Driving via Conditional Imitation Learningcited by 485
- 2021Revisiting the Calibration of Modern Neural Networkscited by 390
38 more
- 2017Training Confidence-calibrated Classifiers for Detecting Out-of-Distribution Samplescited by 389
- 2019Control Barrier Functions: Theory and Applicationscited by 372
- 2022Transformers are Sample-Efficient World Modelscited by 328
- 2018Learning Confidence for Out-of-Distribution Detection in Neural Networkscited by 245
- 2017Hamilton-Jacobi Reachability: A Brief Overview and Recent Advancescited by 201
- 2020Mix-n-Match: Ensemble and Compositional Methods for Uncertainty Calibration in Deep Learningcited by 190
- 2019Addressing Failure Prediction by Learning Model Confidencecited by 186
- 2023Transformer-based World Models Are Happy With 100k Interactionscited by 139
- 2020A Review on Deep Learning Techniques for Video Predictioncited by 114
- 2022Autonomous Vehicles on the Edge: A Survey on Autonomous Vehicle Racingcited by 64
- 2019Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Controlcited by 61
- 2021Predicting Video with VQVAEcited by 61
- 2019Misbehaviour Prediction for Autonomous Driving Systemscited by 55
- 2022Conformal Prediction for STL Runtime Verificationcited by 35
- 2020Guaranteeing Safety of Learned Perception Modules via Measurement-Robust Control Barrier Functionscited by 33
- 2023Facing Off World Model Backbones: RNNs, Transformers, and S4cited by 31
- 2021Verification of Image-based Neural Network Controllers Using Generative Modelscited by 27
- 2020Planning with Learned Dynamics: Probabilistic Guarantees on Safety and Reachability via Lipschitz Constantscited by 25
- 2023Multi-Agent Reachability Calibration with Conformal Predictioncited by 25
- 2021Learning Representations for Pixel-based Control: What Matters and Why?cited by 24
- 2019Distance-Based Learning from Errors for Confidence Calibrationcited by 23
- 2019Conformal calibratorscited by 22
- 2021Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractionscited by 19
- 2022NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landingcited by 19
- 2023Safe Perception-Based Control under Stochastic Sensor Uncertainty using Conformal Predictioncited by 16
- 2017Deep Predictive Models for Collision Risk Assessment in Autonomous Drivingcited by 15
- 2022Modular Conformal Calibrationcited by 15
- 2022Online Update of Safety Assurances Using Confidence-Based Predictionscited by 15
- 2020Prediction-Based Reachability for Collision Avoidance in Autonomous Drivingcited by 11
- 2020Statistical Verification of Autonomous Systems using Surrogate Models and Conformal Inferencecited by 8
- 2023Synthesizing Stable Reduced-Order Visuomotor Policies for Nonlinear Systems via Sums-of-Squares Optimizationcited by 7
- 2021Confidence Composition for Monitors of Verification Assumptionscited by 6
- 2022Competency Assessment for Autonomous Agents using Deep Generative Modelscited by 6
- 2022Risk Verification of Stochastic Systems with Neural Network Controllerscited by 6
- 2023Learning to Forecast Aleatoric and Epistemic Uncertainties over Long Horizon Trajectoriescited by 6
- 2022Robot Vitals and Robot Health: Towards Systematically Quantifying Runtime Performance Degradation in Robots Under Adverse Conditionscited by 4
- 2021Assurance Monitoring of Learning Enabled Cyber-Physical Systems Using Inductive Conformal Prediction based on Distance Learningcited by 3
- 2022Safely: Safe Stochastic Motion Planning Under Constrained Sensing via Dualitycited by 3
50 most cited of 52 All 52 (JSON)
Built on by
Citing papers per year: 2023: 1; 2024: 4; 2025: 2; 2026: 1.
8 papers.
- 2023Conformal Temporal Logic Planning using Large Language Modelscited by 21
- 2024Probabilistically Correct Language-based Multi-Robot Planning using Conformal Predictioncited by 18
- 2025Four Principles for Physically Interpretable World Modelscited by 10
- 2024Zero-shot Safety Prediction for Autonomous Robots with Foundation World Modelscited by 6
- 2024Language-Enhanced Latent Representations for Out-of-Distribution Detection in Autonomous Drivingcited by 4
- 2026Pixels to Proofs: Probabilistically-Safe Latent World Model Control via Parallel Conformal Robust MPCcited by 4
- 2024Physically Interpretable World Models via Weakly Supervised Representation Learningcited by 3
- 2025How Safe Will I Be Given What I Saw? Calibrated Prediction of Safety Chances for Image-Controlled Autonomycited by 1
- 2026Pixels to Proofs: Probabilistically-Safe Latent World Model Control via Parallel Conformal Robust MPC14 Jun 2026
- 2025How Safe Will I Be Given What I Saw? Calibrated Prediction of Safety Chances for Image-Controlled Autonomy12 Aug 2025
- 2025Four Principles for Physically Interpretable World Models4 Mar 2025
- 2024Physically Interpretable World Models via Weakly Supervised Representation Learning17 Dec 2024
- 2024Language-Enhanced Latent Representations for Out-of-Distribution Detection in Autonomous Driving2 May 2024
- 2024Zero-shot Safety Prediction for Autonomous Robots with Foundation World Models30 Mar 2024
- 2024Probabilistically Correct Language-based Multi-Robot Planning using Conformal Prediction23 Feb 2024
- 2023Conformal Temporal Logic Planning using Large Language Models18 Sep 2023
Similar, not cited
Close in wording, no citation either way
- 2025Uncertainty-aware Latent Safety Filters for Avoiding Out-of-Distribution Failures
- 2025How Well Do Latent World Models Understand Partially Observable Safety Constraints?
- 2026Localized Conformal Safety Monitoring with Vision-Language Models for Autonomous Driving
- 2025AnySafe: Adapting Latent Safety Filters at Runtime via Safety Constraint Parameterization in the Latent Space
- 2025Designing Latent Safety Filters using Pre-Trained Vision Models
- 2026When World Models Lie: Adaptive Safety Analysis Under Wrong Imaginations
- 2025A Physics-Informed Machine Learning Framework for Safe and Optimal Control of Autonomous Systems
- 2025Generalizing Safety Beyond Collision-Avoidance via Latent-Space Reachability Analysis