Chuchu Fan

Chuchu Fan

2 books in the database

Books

Formal Methods for Safe AutonomyChuchu Fan

Formal Methods for Safe Autonomy

Chuchu Fan · 2024

Formal Methods for Safe Autonomy - Data-Driven Verification, Synthesis, and ApplicationsChuchu Fan

Formal Methods for Safe Autonomy - Data-Driven Verification, Synthesis, and Applications

Chuchu Fan · 2024

Co-authored books and collections

Books that list Chuchu Fan among their authors but not as the lead author: co-written works, collections and compilations.

Software VerificationRoderick Bloem

Software Verification

Roderick Bloem · 2022