Winning a Won Game: Strict Reach-Avoid-Stay Control Barrier Functions for High-Dimensional Black-Box Systems

arXiv:2609.19449 · cs.RO, cs.SY, eess.SY · Submitted 2026-09-16 · Read on arXiv

cs.RO, cs.SY, eess.SY

Submitted: 2026-09-16

Updated: 2026-09-16

Terminology

• Reinforcement Learning — 8× in this paper · explained in 4 episodes
• Actor — 3× in this paper · explained in 3 episodes
• Conformal Prediction — 2× in this paper · explained in 5 episodes
• Verification — 2× in this paper · explained in 2 episodes
• American Control Conference — 1× in this paper
• Deep Reinforcement Learning — 1× in this paper · explained in 2 episodes
• Failure Modes — 1× in this paper · explained in 3 episodes
• Fidelity — 1× in this paper · explained in 2 episodes
• Model Predictive Path Integral (MPPI) — 1× in this paper · explained in 3 episodes
• Q-learning — 1× in this paper · explained in 3 episodes
• Regularization — 1× in this paper · explained in 3 episodes
• Reinforcement Learning (RL) — 1× in this paper · explained in 25 episodes
• Robustness — 1× in this paper · explained in 5 episodes
• Signal Temporal Logic (STL) — 1× in this paper · explained in 4 episodes
• Sim-to-Real Gap — 1× in this paper · explained in 6 episodes
• Steering — 1× in this paper · explained in 2 episodes

Sources

• Control Barrier Functions for the Full Class of Signal Temporal Logic Tasks using Spatiotemporal Tubes
• Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls
• Deep Reinforcement Learning for Reach-Avoid-Stay Problems
• Bellman Value Decomposition for Task Logic in Safe Optimal Control
• Value Functions for Temporal Logic: Optimal Policies and Safety Filters

Related papers

• FMT x: An Efficient and Asymptotically Optimal Extension of the Fast Marching Tree for Dynamic Replanning
• MPCFormer: A physics-informed data-driven approach for explainable socially-aware autonomous driving
• RoboLab: A High-Fidelity Simulation Benchmark for Analysis of Task Generalist Policies
• HRDexDB: A 4D Dexterous Grasping Dataset Across Human and Multiple Robot Embodiments
• APT: Action Expert Pretraining Improves Instruction Generalization of Vision-Language-Action Policies
• Fine-tuning is Not Enough: A Parallel Framework for Collaborative Imitation and Reinforcement Learning in End-to-end Autonomous Driving