Abstract
Robots must complete their tasks and maintain the achieved outcomes while avoiding safety failures at all times. Strict reach-avoid-stay (sRAS) formalizes this requirement: safely reaching a target and remaining there indefinitely after first entry. We propose an sRAS Q-control barrier function (CBF) safety filter for high-dimensional black-box systems under bounded uncertainty. Our construction combines a stay value encoding safe permanent residence in a target subset with a reach-avoid value encoding safe reachability of this subset while avoiding target states from which safe permanent residence cannot be guaranteed. We prove that these values jointly yield a valid robust discrete-time CBF and lift them to state-action Q-functions for runtime intervention. For exact values and under a measure-zero condition, our filter preserves sRAS feasibility from almost every winnable initial state and keeps the system safely within the target after first entry, against all admissible uncertainty realizations. We adopt reachability-based adversarial reinforcement learning for scalable value approximation using only black-box interactions. Notably, neither synthesis nor deployment of our filter requires known dynamics, affine structure, value derivatives, or hand-designed barriers. We validate our framework in quadruped gap jumping in simulation and hardware, where the robot crosses the gap, lands safely, and remains safe afterward. Simulated F1TENTH races further demonstrate safe overtaking and lead retention.
Keywords
Subject
Publication details
- Journal
- Not available
- Open access
- Green open access
Cite this article
APA 7
Oh, D. D., Nguyen, D. P., Yuan, G., Li, Q., Fisac, J. F., & Hu, H. (2026). Winning a Won Game: Strict Reach-Avoid-Stay Control Barrier Functions for High-Dimensional Black-Box Systems. https://omanscience.com/en/articles/winning-a-won-game-strict-reach-avoid-stay-control-barrier-functions-for-high-dimensional-black-box-systems
MLA 9
Oh, Donggeon David, et al. "Winning a Won Game: Strict Reach-Avoid-Stay Control Barrier Functions for High-Dimensional Black-Box Systems." https://omanscience.com/en/articles/winning-a-won-game-strict-reach-avoid-stay-control-barrier-functions-for-high-dimensional-black-box-systems.
Chicago (author–date)
Oh, Donggeon David, Duy P. Nguyen, Gongkai Yuan, Qingchen Li, Jaime Fernández Fisac, and Haimin Hu. 2026. "Winning a Won Game: Strict Reach-Avoid-Stay Control Barrier Functions for High-Dimensional Black-Box Systems." https://omanscience.com/en/articles/winning-a-won-game-strict-reach-avoid-stay-control-barrier-functions-for-high-dimensional-black-box-systems.
Harvard
Oh, D. D., Nguyen, D. P., Yuan, G., Li, Q., Fisac, J. F. and Hu, H. (2026) 'Winning a Won Game: Strict Reach-Avoid-Stay Control Barrier Functions for High-Dimensional Black-Box Systems', Available at: https://omanscience.com/en/articles/winning-a-won-game-strict-reach-avoid-stay-control-barrier-functions-for-high-dimensional-black-box-systems.
Vancouver
Oh DD, Nguyen DP, Yuan G, Li Q, Fisac JF, Hu H. Winning a Won Game: Strict Reach-Avoid-Stay Control Barrier Functions for High-Dimensional Black-Box Systems. https://omanscience.com/en/articles/winning-a-won-game-strict-reach-avoid-stay-control-barrier-functions-for-high-dimensional-black-box-systems
IEEE
D. D. Oh, D. P. Nguyen, G. Yuan, Q. Li, J. F. Fisac, and H. Hu, "Winning a Won Game: Strict Reach-Avoid-Stay Control Barrier Functions for High-Dimensional Black-Box Systems," https://omanscience.com/en/articles/winning-a-won-game-strict-reach-avoid-stay-control-barrier-functions-for-high-dimensional-black-box-systems.