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

Pedido desde almacén remoto

Entrega prevista 21 de jul. - 6 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Chuchu Fan

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

Aún no valorado

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 18 de octubre de 2024
ISBN13 9798400708657
Editores Association of Computing Machinery,U.S.
Páginas 277
Dimensiones 150 × 220 × 20 mm   ·   535 g

Más del mismo editor

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