Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications - Chuchu Fan - Knjige - Association of Computing Machinery,U.S. - 9798400708657 - 7. oktobra 2024
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 69,99

Naročeno iz oddaljenega skladišča

Predvidena dobava 9. - 23. sep
Prejemajte obvestila o novih izdajah izvajalca Chuchu Fan

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

Na voljo tudi kot:

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.

Medij Knjige     Hardcover Book   (Knjiga s trdim hrbtom in platnicami)
Izdano 7. oktobra 2024
ISBN13 9798400708657
Založniki Association of Computing Machinery,U.S.
Strani 277
Dimenzije 150 × 220 × 20 mm   ·   535 g

Več od istega **izdajatelja**

Ogled vseh Chuchu Fan