Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications - Chuchu Fan - Libros - Association of Computing Machinery,U.S. - 9798400708633 - 7 de octubre de 2024
En caso de que portada y título no coincidan, el título será el correcto

Chuchu Fan
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications

Precio
$ 59,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 10 - 29 de jun.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

También disponible como:

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.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 7 de octubre de 2024
ISBN13 9798400708633
Editores Association of Computing Machinery,U.S.
Páginas 184
Dimensiones 150 × 220 × 10 mm   ·   326 g

Ver todo de Chuchu Fan ( Ej. Paperback Book y Hardcover Book )