Formal Methods for Safe Autonomy
Data-Driven Verification, Synthesis, and Applications
Edición de la obra Formal Methods for Safe Autonomy
| Autor | Chuchu Fan |
|---|---|
| Editorial | Association for Computing Machinery |
| Fecha de publicación | 2024 |
| Idioma | inglés |
| ISBN-13 | 9798400708664 |
| Número de Cutter | F199f |