Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dietrich, Elizabeth, Krasowski, Hanna, Arcak, Murat
Format:	Preprint
Published:	2026
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Importance Sampling for Statistical Certification of Viable Initial Sets
by: Dietrich, Elizabeth, et al.
Published: (2026)

Data-Driven Reachability with Scenario Optimization and the Holdout Method
by: Dietrich, Elizabeth, et al.
Published: (2025)

Conformalized Data-Driven Reachability Analysis with PAC Guarantees
by: Huang, Yanliang, et al.
Published: (2026)

Intelligent Sailing Model for Open Sea Navigation
by: Krasowski, Hanna, et al.
Published: (2025)

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis
by: Dietrich, Elizabeth, et al.
Published: (2025)

Finite-Step Invariant Sets for Hybrid Systems with Probabilistic Guarantees
by: Madabushi, Varun, et al.
Published: (2026)

Data-Driven Reachability Analysis via Diffusion Models with PAC Guarantees
by: Huang, Yanliang, et al.
Published: (2026)

Falsification-driven reinforcement learning for maritime motion planning
by: Müller, Marlon, et al.
Published: (2025)

Synthesizing Neural Network Controllers with Closed-Loop Dissipativity Guarantees
by: Junnarkar, Neelay, et al.
Published: (2024)

Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order
by: Sivaramakrishnan, Vignesh, et al.
Published: (2024)

Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea
by: Krasowski, Hanna, et al.
Published: (2024)

Transformer-Enhanced Data-Driven Output Reachability with Conformal Coverage Guarantees
by: Zhang, Zhen, et al.
Published: (2026)

Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
by: Oura, Ryohei, et al.
Published: (2025)

Fast Assignment in Asset-Guarding Engagements using Function Approximation
by: Junnarkar, Neelay, et al.
Published: (2024)

Set Invariance with Probability One for Controlled Diffusion: Score-based Approach
by: Wang, Wenqing, et al.
Published: (2025)

Hierarchical Control for Continuous-time Systems via General Approximate Alternating Simulation Relations
by: Huang, Zhiyuan, et al.
Published: (2026)

Learning Neural Network Controllers with Certified Robust Performance via Adversarial Training
by: Junnarkar, Neelay, et al.
Published: (2026)

Stability Margins of Neural Network Controllers
by: Junnarkar, Neelay, et al.
Published: (2024)

Solving Monotone Variational Inequalities with Best Response Dynamics
by: Chen, Yu-Wen, et al.
Published: (2024)

On Exact Solutions to the Linear Bellman Equation
by: Ohlin, David, et al.
Published: (2025)

Finite Horizon Robustness Analysis of LTV Systems Using Integral Quadratic Constraints
by: Seiler, Peter, et al.
Published: (2017)

Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees
by: Nath, Devesh, et al.
Published: (2026)

Reachability Guarantees for Energy Arbitrage
by: Tapia, Tomás, et al.
Published: (2026)

Symbolic Control for Autonomous Docking of Marine Surface Vessels
by: Dietrich, Elizabeth, et al.
Published: (2025)

Data-Driven Reachability Analysis with Optimal Input Design
by: Xie, Peng, et al.
Published: (2026)

Orthogonal Transformations for Efficient Data-Driven Reachability Analysis
by: Xie, Peng, et al.
Published: (2026)

Data-Driven Reachability Analysis for Piecewise Affine Systems
by: Xie, Peng, et al.
Published: (2025)

Stochastic Reachability of Uncontrolled Systems via Probability Measures: Approximation via Deep Neural Networks
by: Sivaramakrishnan, Karthik, et al.
Published: (2023)

Hierarchical Decision-Making in Population Games
by: Chen, Yu-Wen, et al.
Published: (2025)

Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis
by: Sibai, Hussein, et al.
Published: (2024)

Data-Driven Reachability Analysis Using Matrix Perturbation Theory
by: Xie, Peng, et al.
Published: (2026)

Data-Driven Nonconvex Reachability Analysis using Exact Multiplication
by: Zhang, Zhen, et al.
Published: (2025)

Learning to Drive by Imitating Surrounding Vehicles
by: Sonmez, Yasin, et al.
Published: (2025)

Transformer-Accelerated Interpolated Data-Driven Reachability Analysis from Noisy Data
by: Zhang, Zhen, et al.
Published: (2026)

A PAC-Bayesian Framework for Optimal Control with Stability Guarantees
by: Boroujeni, Mahrokh Ghoddousi, et al.
Published: (2024)

PAC-Bayesian Optimal Control with Stability and Generalization Guarantees
by: Boroujeni, Mahrokh Ghoddousi, et al.
Published: (2025)

Data-Driven Nonconvex Reachability Analysis using Exact Set Propagation
by: Zhang, Zhen, et al.
Published: (2026)

Data-driven Reachability Verification with Probabilistic Guarantees under Koopman Spectral Uncertainty
by: Ding, Jianqiang, et al.
Published: (2025)

Certifying Stability and Performance of Uncertain Differential-Algebraic Systems: A Dissipativity Framework
by: Jensen, Emily, et al.
Published: (2023)

Grouping of $N-1$ Contingencies for Controller Synthesis: A Study for Power Line Failures
by: Junnarkar, Neelay, et al.
Published: (2024)