Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications - Chuchu Fan - Libros - Association of Computing Machinery,U.S. - 9798400708657 - 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
$ 77,99
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:

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.

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 7 de octubre de 2024
ISBN13 9798400708657
Editores Association of Computing Machinery,U.S.
Páginas 277
Dimensiones 150 × 220 × 20 mm   ·   535 g

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