Probably Approximately Correct Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison

arXiv:2604.02953 · eess.SY, cs.SY · Submitted 2026-04-03 · Read on arXiv

eess.SY, cs.SY

Submitted: 2026-04-03

Updated: 2026-09-19

Terminology

• Conformal Prediction — 46× in this paper · explained in 5 episodes
• Calibration — 17× in this paper · explained in 7 episodes
• Accuracy — 9× in this paper · explained in 1 episode
• Verification — 9× in this paper · explained in 2 episodes
• Probably Approximately Correct — 5× in this paper
• Score Function — 5× in this paper · explained in 4 episodes
• Conference on Decision and Control — 2× in this paper
• Uncertainty Quantification — 2× in this paper · explained in 8 episodes
• Abstraction — 1× in this paper · explained in 1 episode
• Benchmark — 1× in this paper · explained in 2 episodes
• Formal Verification — 1× in this paper · explained in 2 episodes
• Sample Complexity — 1× in this paper · explained in 15 episodes

Sources

• Formal Verification and Control with Conformal Prediction
• A Gentle Introduction to Conformal Prediction and Distribution-Free Uncertainty Quantification
• Theoretical Foundations of Conformal Prediction

Related papers

• One Request, Multiple Experts: LLM Orchestrates Domain Specific Models via Adaptive Task Routing
• A Geometric Decision Procedure for STL Feasibility and Repair
• Submodular Multi-Agent Policy Learning for Online Distributed Task Allocation in Open Multi-Agent Systems
• Policy-Level Recursive Self-Improvement for Embodied AI with a Criticality World Model
• Minimal Experiments for Robust Stabilization: Information, Spectral Geometry, and Duration
• Decentralized Power-Optimal Coordination for Spacecraft Swarms Using Time-Varying Magnetorquer Actuation