Cover of Formal Methods for Safe Autonomy

Formal Methods for Safe Autonomy

by Unknown Author

2024Association for Computing MachineryISBN 9798400708664

Publication Details

Publisher
Association for Computing Machinery
Published
2024
ISBN
9798400708664

More by Unknown Author

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

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

Unknown Author

Track your reading journey with BookOwl

Open in BookOwlDownload on App Store