TY  - RPRT
TI  - Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees
AU  - Mohamed Serry
AU  - Haocheng Chang
AU  - Jun Liu
PY  - 2024
UR  - https://arxiv.org/abs/2405.20502
ID  - 2405.20502
ER  -