Conte aos seus amigos sobre este item:
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications Chuchu Fan
Preço
€ 70,99
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 18 de set - 2 de out
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
Cutting-edge verification and synthesis algorithms offer certifiable trust in autonomous systems wrestling with high-dimensional, nonlinear, and hybrid dynamics. With proven methods ensuring soundness and precision, techniques are applied to critical control modules, satellite systems, and autonomous driving maneuvers.
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 7 de outubro de 2024 |
| ISBN13 | 9798400708657 |
| Editoras | Association of Computing Machinery,U.S. |
| Páginas | 277 |
| Dimensões | 150 × 220 × 20 mm · 535 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)
