Formal Methods for Safe Autonomy - Data-Driven Verification, Synthesis, and Applicationsby Chuchu FanWriting a summary for young readers…For young readersBook data: Open Library