Vertel uw vrienden over dit artikel:
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications Chuchu Fan
Prijs
€ 70,99
Besteld in een afgelegen magazijn
Verwachte levering 25 sep. - 9 okt.
Ontvang meldingen over nieuwe releases van Chuchu Fan
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
Ook verkrijgbaar als:
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.
| Media | Boeken Hardcover Book (Boek met harde rug en kaft) |
| Vrijgegeven | 7 oktober 2024 |
| ISBN13 | 9798400708657 |
| Uitgevers | Association of Computing Machinery,U.S. |
| Pagina's | 277 |
| Afmetingen | 150 × 220 × 20 mm · 535 g |
