Cover Image

Contingency-Aware Planning via Certified Neural Hamilton-Jacobi Reachability

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Muenprasitivej, Kasidit, Aksaray, Derya
Format:	Preprint
Published:	2026
Subjects:	Robotics Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability
by: Jiang, Frank J., et al.
Published: (2024)

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

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

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

NeuroHJR: Hamilton-Jacobi Reachability-based Obstacle Avoidance in Complex Environments with Physics-Informed Neural Networks
by: Halder, Granthik, et al.
Published: (2025)

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

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

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

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

Probabilistic Satisfaction of Temporal Logic Constraints in Reinforcement Learning via Adaptive Policy-Switching
by: Lin, Xiaoshan, et al.
Published: (2024)

Safe and Nonconservative Contingency Planning for Autonomous Vehicles via Online Learning-Based Reachable Set Barriers
by: Yang, Rui, 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)

Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers
by: Shen, Keyi, et al.
Published: (2026)

Airspace-aware Contingency Landing Planning
by: Tekaslan, H. Emre, et al.
Published: (2026)

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

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

Probabilistically-Safe Bipedal Navigation over Uncertain Terrain via Conformal Prediction and Contraction Analysis
by: Muenprasitivej, Kasidit, et al.
Published: (2025)

Dynamically Feasible Path Planning in Cluttered Environments via Reachable Bezier Polytopes
by: Csomay-Shanklin, Noel, et al.
Published: (2024)

Reachability-Aware Time Scaling for Path Tracking
by: Gholampour, Hossein, et al.
Published: (2026)

Safe Navigation using Neural Radiance Fields via Reachable Sets
by: Thapliyal, Omanshu, et al.
Published: (2026)

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

Hierarchical Motion Planning and Control under Unknown Nonlinear Dynamics via Predicted Reachability
by: Zhang, Zhiquan, et al.
Published: (2026)

Safety-Critical Human-Machine Shared Driving for Vehicle Collision Avoidance based on Hamilton-Jacobi reachability
by: Zhao, Shiyue, et al.
Published: (2025)

Motion Planning and Control with Unknown Nonlinear Dynamics through Predicted Reachability
by: Zhang, Zhiquan, et al.
Published: (2025)

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

Temporal-Logic-Aware Frontier-Based Exploration
by: Taheri, Azizollah, et al.
Published: (2026)

Motion Planning Under Temporal Logic Specifications In Semantically Unknown Environments
by: Taheri, Azizollah, et al.
Published: (2025)

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

Motion Planning with Metric Temporal Logic Using Reachability Analysis and Hybrid Zonotopes
by: Thompson, Andrew F., et al.
Published: (2026)

Bezier Reachable Polytopes: Efficient Certificates for Robust Motion Planning with Layered Architectures
by: Csomay-Shanklin, Noel, et al.
Published: (2024)

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

Reachable Sets-based Trajectory Planning Combining Reinforcement Learning and iLQR
by: Huang, Wenjie, et al.
Published: (2025)

Guaranteed Reach-Avoid for Black-Box Systems through Narrow Gaps via Neural Network Reachability
by: Chung, Long Kiu, et al.
Published: (2024)

Safety Evaluation of Motion Plans Using Trajectory Predictors as Forward Reachable Set Estimators
by: Chakraborty, Kaustav, et al.
Published: (2025)

Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis
by: Yang, Yujie, et al.
Published: (2024)

RAKOMO: Reachability-Aware K-Order Markov Path Optimization for Quadrupedal Loco-Manipulation
by: Risiglione, Mattia, et al.
Published: (2025)

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