Conte aos seus amigos sobre este item:
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications Chuchu Fan
Preço
€ 55,99
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 4 - 18 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
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 | 7 de outubro de 2024 |
| ISBN13 | 9798400708633 |
| Editoras | Association of Computing Machinery,U.S. |
| Páginas | 184 |
| Dimensões | 150 × 220 × 10 mm · 326 g |
