Vertel uw vrienden over dit artikel:
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications Chuchu Fan
Prijs
€ 53,99
Besteld in een afgelegen magazijn
Verwachte levering 4 - 18 sep.
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
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.
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 7 oktober 2024 |
| ISBN13 | 9798400708633 |
| Uitgevers | Association of Computing Machinery,U.S. |
| Pagina's | 184 |
| Afmetingen | 150 × 220 × 10 mm · 326 g |
![Cover for Ronald M. Baecker · Digital Dreams Have Become Nightmares: What We Must Do (Paperback Book) [Second edition] (2024)](https://imusic.b-cdn.net/images/item/original/680/9798400717680.jpg?ronald-m-baecker-2024-digital-dreams-have-become-nightmares-what-we-must-do-paperback-book&class=scaled&v=1773847087)
