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
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2024
- Language
- English
- Publisher
- Wiley & Sons, Limited, John
- Editions
- 2
- Pages
- 184
- ISBN
- 9798400708633
Data source: Wikidata