APA (7th ed.) Citation

Yin, X., Gao, B., & Yu, X. (2024). Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges.

Chicago Style (17th ed.) Citation

Yin, Xiang, Bingzhao Gao, and Xiao Yu. Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges. 2024.

MLA (9th ed.) Citation

Yin, Xiang, et al. Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges. 2024.