Subscribe now
Audiobooks
eBooks
Book series
Categories
Log In
Audiobooks
eBooks
Book series
Categories
Log In
Subscribe now
Home
Authors
Chuchu Fan
Format
Books by Chuchu Fan
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications
Chuchu Fan
Related Series
ACM Books
ACM Books