:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Kim, Matthew, Sharpless, William, Jeong, Hyun Joe, Tonkens, Sander, Bansal, Somil, Herbert, Sylvia
Format:	Preprint
Published:	2025
Subjects:	Robotics Artificial Intelligence
Online Access:	https://arxiv.org/abs/2505.11755
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Patching Approximately Safe Value Functions Leveraging Local Hamilton-Jacobi Reachability Analysis
by: Tonkens, Sander, et al.
Published: (2023)

MADR: MPC-guided Adversarial DeepReach
by: Teoh, Ryan, et al.
Published: (2025)

Dual-Objective Reinforcement Learning with Novel Hamilton-Jacobi-Bellman Formulations
by: Sharpless, William, et al.
Published: (2025)

Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis
by: Lin, Albert, et al.
Published: (2025)

Koopman-Hopf Hamilton-Jacobi Reachability and Control
by: Sharpless, Will, et al.
Published: (2023)

On Safety and Liveness Filtering Using Hamilton-Jacobi Reachability Analysis
by: Borquez, Javier, et al.
Published: (2023)

Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions
by: Borquez, Javier, et al.
Published: (2023)

Parameterized Fast and Safe Tracking (FaSTrack) using Deepreach
by: Jeong, Hyun Joe, et al.
Published: (2024)

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis
by: Wang, Hao, et al.
Published: (2025)

DualGuard MPPI: Safe and Performant Optimal Control by Combining Sampling-Based MPC and Hamilton-Jacobi Reachability
by: Borquez, Javier, et al.
Published: (2025)

Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey
by: Ganai, Milan, et al.
Published: (2024)

Conservative Linear Envelopes for Nonlinear, High-Dimensional, Hamilton-Jacobi Reachability
by: Sharpless, Will, et al.
Published: (2024)

State-Augmented Linear Games with Antagonistic Error for High-Dimensional, Nonlinear Hamilton-Jacobi Reachability
by: Sharpless, Will, et al.
Published: (2024)

Linear Supervision for Nonlinear, High-Dimensional Neural Control and Differential Games
by: Sharpless, William, et al.
Published: (2024)

Refining Almost-Safe Value Functions on the Fly
by: Tonkens, Sander, et al.
Published: (2026)

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis
by: Feng, Zeyuan, et al.
Published: (2025)

Viscosity CBFs: Bridging the Control Barrier Function and Hamilton-Jacobi Reachability Frameworks in Safe Control Theory
by: Hirsch, Dylan, et al.
Published: (2025)

Enhancing Safety and Robustness of Vision-Based Controllers via Reachability Analysis
by: Chakraborty, Kaustav, et al.
Published: (2024)

Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis
by: Chakraborty, Kaustav, et al.
Published: (2022)

Robust Control using Control Lyapunov Function and Hamilton-Jacobi Reachability
by: Yang, Chun-Ming, et al.
Published: (2024)

Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction
by: Lin, Albert, et al.
Published: (2023)

Exact Imposition of Safety Boundary Conditions in Neural Reachable Tubes
by: Singh, Aditya, et al.
Published: (2024)

Parameter-Conditioned Reachable Sets for Updating Safety Assurances Online
by: Borquez, Javier, et al.
Published: (2022)

Hamilton--Jacobi Reachability for Spacecraft Collision Avoidance
by: Hui, Larry, et al.
Published: (2026)

Value Functions for Temporal Logic: Optimal Policies and Safety Filters
by: So, Oswin, et al.
Published: (2026)

From Space to Time: Enabling Adaptive Safety with Learned Value Functions via Disturbance Recasting
by: Tonkens, Sander, et al.
Published: (2025)

Bellman Value Decomposition for Task Logic in Safe Optimal Control
by: Sharpless, William, et al.
Published: (2026)

HJRNO: Hamilton-Jacobi Reachability with Neural Operators
by: Li, Yankai, et al.
Published: (2025)

Manifold-constrained Hamilton-Jacobi Reachability Learning for Decentralized Multi-Agent Motion Planning
by: Chen, Qingyi, et al.
Published: (2025)

Learning Robust Policies via Interpretable Hamilton-Jacobi Reachability-Guided Disturbances
by: Hu, Hanyang, et al.
Published: (2024)

Back to Base: Towards Hands-Off Learning via Safe Resets with Reach-Avoid Safety Filters
by: Begzadić, Azra, et al.
Published: (2025)

Contingency-Aware Planning via Certified Neural Hamilton-Jacobi Reachability
by: Muenprasitivej, Kasidit, et al.
Published: (2026)

Cooptimizing Safety and Performance with a Control-Constrained Formulation
by: Wang, Hao, et al.
Published: (2024)

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

NeHMO: Neural Hamilton-Jacobi Reachability Learning for Decentralized Safe Multi-Agent Motion Planning
by: Chen, Qingyi, et al.
Published: (2025)

SCRAMPPI: Efficient Contingency Planning for Mobile Robot Navigation via Hamilton-Jacobi Reachability
by: Srirangam, Raj Harshit, et al.
Published: (2026)

Threshold Strategy for Leaking Corner-Free Hamilton-Jacobi Reachability with Decomposed Computations
by: He, Chong, et al.
Published: (2025)

MAD-PINN: A Decentralized Physics-Informed Machine Learning Framework for Safe and Optimal Multi-Agent Control
by: Tayal, Manan, et al.
Published: (2025)

Safety-Aware Imitation Learning via MPC-Guided Disturbance Injection
by: Qiu, Le, et al.
Published: (2025)

Learning to Nudge: A Scalable Barrier Function Framework for Safe Robot Interaction in Dense Clutter
by: Jin, Haixin, et al.
Published: (2026)