Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications - Chuchu Fan (2024)