Cover Image

From Global to Local: Hierarchical Probabilistic Verification for Reachability Learning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Smith, Ebonye, Deglurkar, Sampada, Li, Jingqi, Qu, Gechen, Tomlin, Claire J.
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

Active Calibration of Reachable Sets Using Approximate Pick-to-Learn
by: Deglurkar, Sampada, et al.
Published: (2026)

Inverse Safety Filtering: Inferring Constraints from Safety Filters for Decentralized Coordination
by: Nguyen, Minh, et al.
Published: (2026)

Multi-Agent Guided Policy Search for Non-Cooperative Dynamic Games
by: Li, Jingqi, et al.
Published: (2025)

System-Level Analysis of Module Uncertainty Quantification in the Autonomy Pipeline
by: Deglurkar, Sampada, et al.
Published: (2024)

Certifiable Reachability Learning Using a New Lipschitz Continuous Value Function
by: Li, Jingqi, et al.
Published: (2024)

Infinite-Horizon Reach-Avoid Zero-Sum Games via Deep Reinforcement Learning
by: Li, Jingqi, et al.
Published: (2022)

A Hamilton-Jacobi Reachability Framework with Soft Constraints for Safety-Critical Systems
by: Mballo, Chams Eddine, et al.
Published: (2025)

The computation of approximate feedback Stackelberg equilibria in multi-player nonlinear constrained dynamic games
by: Li, Jingqi, et al.
Published: (2024)

A Forward Reachability Perspective on Control Barrier Functions and Discount Factors in Reachability Analysis
by: Choi, Jason J., et al.
Published: (2023)

Intent Demonstration in General-Sum Dynamic Games via Iterative Linear-Quadratic Approximations
by: Li, Jingqi, et al.
Published: (2024)

Resolving Conflicting Constraints in Multi-Agent Reinforcement Learning with Layered Safety
by: Choi, Jason J., et al.
Published: (2025)

Competency-Aware Planning for Probabilistically Safe Navigation Under Perception Uncertainty
by: Pohland, Sara, et al.
Published: (2024)

Recursively Feasible Probabilistic Safe Online Learning with Control Barrier Functions
by: Castañeda, Fernando, et al.
Published: (2022)

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

EigenSafe: A Spectral Framework for Learning-Based Probabilistic Safety Assessment
by: Jang, Inkyu, et al.
Published: (2025)

Gait Switching and Enhanced Stabilization of Walking Robots with Deep Learning-based Reachability: A Case Study on Two-link Walker
by: Xia, Xingpeng, et al.
Published: (2024)

An Efficient Reachability-Based Framework for Provably Safe Autonomous Navigation in Unknown Environments
by: Bajcsy, Andrea, et al.
Published: (2019)

Safe Connectivity Maintenance of Underactuated Multi-Agent Networks in Dynamic Oceanic Environments
by: Hoischen, Nicolas, et al.
Published: (2023)

Probabilistic Reachability Analysis of Stochastic Control Systems
by: Jafarpour, Saber, et al.
Published: (2024)

Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems
by: Liu, Zishun, et al.
Published: (2024)

Probabilistic Reachability Analysis of Multi-scale Voltage Dynamics Using Reinforcement Learning
by: Hashima, Naoki, et al.
Published: (2026)

When are safety filters safe? On minimum phase conditions of control barrier functions
by: Choi, Jason J., et al.
Published: (2025)

Probabilistic Reachable Set Estimation for Saturated Systems with Unbounded Additive Disturbances
by: Karam, Carlo, et al.
Published: (2025)

A Spectral Perspective on Stochastic Control Barrier Functions
by: Jang, Inkyu, et al.
Published: (2026)

Scenario-Game ADMM: A Parallelized Scenario-Based Solver for Stochastic Noncooperative Games
by: Li, Jingqi, et al.
Published: (2023)

Automatic and Scalable Safety Verification using Interval Reachability with Subspace Sampling
by: Gould, Brendan, et al.
Published: (2025)

PRREACH: Probabilistic Risk Assessment Using Reachability for UAV Control
by: Fronda, Nicole, et al.
Published: (2025)

Effects of dynamic power electronic load models on power systems analysis using ZIP-E loads
by: Colon-Reyes, Gabriel E., et al.
Published: (2024)

SDP Synthesis of Distributionally Robust Backward Reachable Trees for Probabilistic Planning
by: Aggarwal, Naman, et al.
Published: (2024)

Reachability-based Temporal Logic Verification for Reliable LLM-guided Human-Autonomy Teaming
by: Choi, Joonwon, et al.
Published: (2026)

Data-Driven Hamiltonian for Direct Construction of Safe Set from Trajectory Data
by: Choi, Jason J., et al.
Published: (2025)

Learning Reachability of Energy Storage Arbitrage
by: Tapia, Tomás, et al.
Published: (2025)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
by: Gu, Chao, et al.
Published: (2020)

Efficient Probabilistic Planning with Maximum-Coverage Distributionally Robust Backward Reachable Trees
by: Rose, Alex, et al.
Published: (2025)

Signal Temporal Logic Verification and Synthesis Using Deep Reachability Analysis and Layered Control Architecture
by: Choi, Joonwon, et al.
Published: (2026)

Certifying Hamilton-Jacobi Reachability Learned via Reinforcement Learning
by: Solanki, Prashant, et al.
Published: (2026)

Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets
by: Solanki, Prashant, et al.
Published: (2025)

Unifying Hamilton-Jacobi Reachability and Reinforcement Learning
by: Solanki, Prashant, et al.
Published: (2026)

Constraint-Guided Online Data Selection for Scalable Data-Driven Safety Filters in Uncertain Robotic Systems
by: Choi, Jason J., et al.
Published: (2023)

Distributed Safe Control Design and Probabilistic Safety Verification for Multi-Agent Systems
by: Wang, Han, et al.
Published: (2023)