booktheque

Formal Methods for Safe Autonomy

Chuchu Fan · 2024

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

View on Amazon

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year
2024
Language
English
Publisher
Association for Computing Machinery
Editions
1
ISBN
9798400708664

Data source: Wikidata

More by Chuchu Fan

Formal Methods for Safe Autonomy - Data-Driven Verification, Synthesis, and Applications
Chuchu Fan · 2024