Chuchu Fan

Chuchu Fan

2 ספרים במאגר

ספרים

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

ספרים משותפים ואוספים

ספרים שבהם Chuchu Fan מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Software VerificationRoderick Bloem

Software Verification

Roderick Bloem · 2022