Cover of Formal Methods for Safe Autonomy - Data-Driven Verification, Synthesis, and Applications

Formal Methods for Safe Autonomy - Data-Driven Verification, Synthesis, and Applications

by Unknown Author

184 pages2024Wiley & Sons, Limited, JohnISBN 9798400708633

Publication Details

Publisher
Wiley & Sons, Limited, John
Published
2024
Pages
184
ISBN
9798400708633

More by Unknown Author

Cover of Formal Methods for Safe Autonomy

Formal Methods for Safe Autonomy

Unknown Author

Track your reading journey with BookOwl

Open in BookOwlDownload on App Store