TY  - RPRT
TI  - Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges
AU  - Xiang Yin
AU  - Bingzhao Gao
AU  - Xiao Yu
PY  - 2024
UR  - https://arxiv.org/abs/2402.13075
ID  - 2402.13075
ER  -