Formal Methods for Safe Autonomy - Data-Driven Verification, Synthesis, and Applications
Edición de la obra Formal Methods for Safe Autonomy - Data-Driven Verification, Synthesis, and Applications
| Autor | Chuchu Fan |
|---|---|
| Editorial | Wiley & Sons, Limited, John |
| Fecha de publicación | 2024 |
| Idioma | inglés |
| Páginas | 278 |
| ISBN-13 | 9798400708657 |
| Número de Cutter | F199f |