{"id":"arxiv/2602.00366","url":"https://arxiv.org/abs/2602.00366","tags":["math.OC"],"score":0,"title":"Learning Safety-Guaranteed, Non-Greedy Control Barrier Functions Using Reinforcement Learning","domain":"math.OC","source":"arxiv","authors":["Minduli Wijayatunga","Nathan Wallace","Salah Sukkarieh","Roberto Armellin"],"reviews":0,"subject":"math.OC","summary":"Spacecraft rendezvous and proximity operations (RPO) pose safety risks to high-value assets, so formal safety guarantees are critical. Yet conservative safety controllers can reduce mission efficiency. We propose a unified two-stage reinforcement learning (RL) framework that addresses two complementary limitations of Input-Constrained Control Barrier Functions (ICCBFs) for safety-critical, fuel-limited spacecraft control. Given a certified safe set S, ICCBFs guarantee forward invariance of an inner set C* under input bounds, but the resulting per-step quadratic programme (QP) is greedy and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-30","reactions":{}}