👤

Chuchu Fan

3 books

Books by Chuchu Fan

Formal Methods for Safe Autono
Formal Methods for Safe Autonomy
2024
Formal Methods for Safe Autono
Formal Methods for Safe Autonomy - Data-Driven Verification, Synthesis, and Applications
2024
Software Verification
Software Verification
2022