TY  - RPRT
TI  - Reach-avoid semi-Markov decision processes with time-varying obstacles
AU  - Yanyun Li
AU  - Xianping Guo
PY  - 2025
UR  - https://arxiv.org/abs/2505.02479
ID  - 2505.02479
ER  -