Cover Image

Safety-Constrained Reinforcement Learning with Post-Training Reachability Verification for Robot Navigation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	He, Qisong, Huang, Xinmiao, Hu, Jinwei, Li, Zhuoyun, Dong, Yi, Wu, Changshun, Huang, Xiaowei
Format:	Preprint
Published:	2026
Subjects:	Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems
by: Dong, Yi, et al.
Published: (2022)

Where Do Prompt Perturbations Break Generation? A Segment-Level View of Robustness in LoRA-Tuned Language Models
by: Li, Zhuoyun, et al.
Published: (2026)

Responsible Agentic AI Requires Explicit Provenance
by: Hu, Jinwei, et al.
Published: (2026)

PrefixGuard: From LLM-Agent Traces to Online Failure-Warning Monitors
by: Huang, Xinmiao, et al.
Published: (2026)

Spatial-DISE: A Unified Benchmark for Evaluating Spatial Reasoning in Vision-Language Models
by: Huang, Xinmiao, et al.
Published: (2025)

SIGN: Safety-Aware Image-Goal Navigation for Autonomous Drones via Reinforcement Learning
by: Yan, Zichen, et al.
Published: (2025)

Chain-of-Thought as a Lens: Evaluating Structured Reasoning Alignment between Human Preferences and Large Language Models
by: Wang, Boxuan, et al.
Published: (2025)

Distributed Nash Equilibrium Seeking Algorithm in Aggregative Games for Heterogeneous Multi-Robot Systems
by: Dong, Yi, et al.
Published: (2025)

Decentralized Multi-Robot Navigation for Autonomous Surface Vehicles with Distributional Reinforcement Learning
by: Lin, Xi, et al.
Published: (2024)

A Hamilton-Jacobi Reachability-Guided Search Framework for Efficient and Safe Indoor Planar Robot Navigation
by: Hu, Hanyang, et al.
Published: (2026)

FragileFlow: Spectral Control of Correct-but-Fragile Predictions for Foundation Model Robustness
by: Li, Zhuoyun, et al.
Published: (2026)

Line-of-Sight-Constrained Multi-Robot Mapless Navigation via Polygonal Visible Regions
by: Bai, Ruofei, et al.
Published: (2026)

Reactive Robot-Centric Safety for Autonomous Navigation in Constrained and Dynamic Environments
by: Sankaranarayanan, Viswa Narayanan, et al.
Published: (2026)

Multi-Floor Exploration for Ground Robots via an Incremental Reachable Graph and Structural Priors
by: Zhu, Zhiwen, et al.
Published: (2026)

Foresight Social-aware Reinforcement Learning for Robot Navigation
by: Zhou, Yanying, et al.
Published: (2021)

LEARN: Learning End-to-End Aerial Resource-Constrained Multi-Robot Navigation
by: Chiu, Darren, et al.
Published: (2025)

Lying with Truths: Open-Channel Multi-Agent Collusion for Belief Manipulation via Generative Montage
by: Hu, Jinwei, et al.
Published: (2026)

Grounded Continuation: A Linear-Time Runtime Verifier for LLM Conversations
by: He, Qisong, et al.
Published: (2026)

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

Enhancing Deep Reinforcement Learning-based Robot Navigation Generalization through Scenario Augmentation
by: Wang, Shanze, et al.
Published: (2025)

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

Improving Generalization in Reinforcement Learning Training Regimes for Social Robot Navigation
by: Sigal, Adam, et al.
Published: (2023)

SaferPath: Hierarchical Visual Navigation with Learned Guidance and Safety-Constrained Control
by: Zhang, Lingjie, et al.
Published: (2026)

Dexterous Grasping with Real-World Robotic Reinforcement Learning
by: Huang, Dongchi, et al.
Published: (2025)

ECO: Energy-Constrained Optimization with Reinforcement Learning for Humanoid Walking
by: Huang, Weidong, et al.
Published: (2026)

Reinforcement Learning for Follow-the-Leader Robotic Endoscopic Navigation via Synthetic Data
by: Gao, Sicong, et al.
Published: (2026)

Human-aligned Safe Reinforcement Learning for Highway On-Ramp Merging in Dense Traffic
by: Li, Yang, et al.
Published: (2025)

Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems
by: Huang, Wei, et al.
Published: (2020)

Fast Path Planning for Autonomous Vehicle Parking with Safety-Guarantee using Hamilton-Jacobi Reachability
by: Chi, Xuemin, et al.
Published: (2023)

Robot Detection System 2: Design of Sensor System
by: Lin, Jinwei
Published: (2024)

Game-Theoretic Risk-Shaped Reinforcement Learning for Safe Autonomous Driving
by: Hu, Dong, et al.
Published: (2025)

SimLauncher: Launching Sample-Efficient Real-world Robotic Reinforcement Learning via Simulation Pre-training
by: Wu, Mingdong, et al.
Published: (2025)

Robot Detection System 3: LRF groups and Coordinate System
by: Lin, Jinwei
Published: (2024)

Research on Autonomous Robots Navigation based on Reinforcement Learning
by: Wang, Zixiang, et al.
Published: (2024)

From Words to Safety: Language-Conditioned Safety Filtering for Robot Navigation
by: Feng, Zeyuan, et al.
Published: (2025)

Morphology-Aware Graph Reinforcement Learning for Tensegrity Robot Locomotion
by: Zhang, Chi, et al.
Published: (2025)

Constrained Passive Interaction Control: Leveraging Passivity and Safety for Robot Manipulators
by: Zhang, Zhiquan, et al.
Published: (2024)

Pre-trained Transformer-Enabled Strategies with Human-Guided Fine-Tuning for End-to-end Navigation of Autonomous Vehicles
by: Hu, Dong, et al.
Published: (2024)

Joint Verification and Refinement of Language Models for Safety-Constrained Planning
by: Yang, Yunhao, et al.
Published: (2024)

Training and Simulation of Quadrupedal Robot in Adaptive Stair Climbing for Indoor Firefighting: An End-to-End Reinforcement Learning Approach
by: Huang, Baixiao, et al.
Published: (2026)