Picture for Bingzhao Gao

Bingzhao Gao

Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges

Add code
Feb 20, 2024
Viaarxiv icon