Reach-avoid games for players with damped double integrator dynamics. - Mengxin Lyu; Ruiliang Deng; Zongying Shi; Yisheng Zhong (CoRR, 2025)