Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications - Chuchu Fan - Knihy - Association of Computing Machinery,U.S. - 9798400708657 - 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
€ 76,49

Objednané zo vzdialeného skladu

Očakávané doručenie 10. - 24. nov
Vianočné darčeky je možné vrátiť do 31. januára
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:

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.

Médium Knihy     Hardcover Book   (Kniha s pevnou väzbou a obalom)
Vydané 07. októbra 2024
ISBN13 9798400708657
Vydavatelia Association of Computing Machinery,U.S.
Strany 277
Rozmery 150 × 220 × 20 mm   ·   535 g

Viac od toho istého vydavateľa

Pozrieť všetko od Chuchu Fan