Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications - Chuchu Fan - Knihy - Association of Computing Machinery,U.S. - 9798400708633 - 07. októbra 2024
V prípade, že obal a názov nesedia, platí názov

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

Cena
€ 58,49

Objednané zo vzdialeného skladu

Očakávané doručenie 23. okt - 6. nov
Dostávajte upozornenia na nové nahrávky interpreta Chuchu Fan

Naši zákazníci hovoria:

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa
Najvyššie hodnotenie na Trustpilot
Pridať do vášho zoznamu prianí na iMusic

Not rated yet

Tiež dostupné ako:

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.

Médium Knihy     Paperback Book   (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané 07. októbra 2024
ISBN13 9798400708633
Vydavatelia Association of Computing Machinery,U.S.
Strany 184
Rozmery 150 × 220 × 10 mm   ·   326 g

Viac od toho istého vydavateľa

Pozrieť všetko od Chuchu Fan