Conte aos seus amigos sobre este item:
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications Chuchu Fan
Preço
€ 73,49
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 30 de out - 13 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
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 |
