TY  - RPRT
TI  - Solving Reach- and Stabilize-Avoid Problems Using Discounted Reachability
AU  - Boyang Li
AU  - Zheng Gong
AU  - Sylvia Herbert
PY  - 2026
DO  - 10.1109/tac.2026.3693989
UR  - https://arxiv.org/abs/2505.09067
ID  - 2505.09067
ER  -