Conte aos seus amigos sobre este item:
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications Chuchu Fan
Preço
€ 54,49
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 14 - 28 de ago
Receba avisos sobre novos lançamentos de Chuchu Fan
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Também disponível como:
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications
Chuchu Fan
Autonomous systems face enormous financial and legal stakes, and novel verification and synthesis algorithms now secure certifiable trust. With applications spanning Toyota engine controls, satellite maneuvers, and ADAS dynamics, insightful methods tackle challenges in complex nonlinear and hybrid models.
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 22 de outubro de 2024 |
| ISBN13 | 9798400708633 |
| Editoras | Association of Computing Machinery,U.S. |
| Páginas | 184 |
| Dimensões | 150 × 220 × 10 mm · 326 g |
![Cover for Ronald M. Baecker · Digital Dreams Have Become Nightmares: What We Must Do (Paperback Book) [Second edition] (2024)](https://imusic.b-cdn.net/images/item/original/680/9798400717680.jpg?ronald-m-baecker-2024-digital-dreams-have-become-nightmares-what-we-must-do-paperback-book&class=scaled&v=1773847087)
