Verification of Autonomous Systems
Seiten
2026
Springer International Publishing (Hersteller)
978-3-031-88546-4 (ISBN)
Springer International Publishing (Hersteller)
978-3-031-88546-4 (ISBN)
- Noch nicht erschienen - erscheint am 10.02.2026
- Versandkostenfrei
- Auch auf Rechnung
- Artikel merken
| Erscheint lt. Verlag | 10.2.2026 |
|---|---|
| Reihe/Serie | Artificial Intelligence (R0) |
| Zusatzinfo | X, 290 p. 86 illus., 72 illus. in color. |
| Verlagsort | Cham |
| Sprache | englisch |
| Themenwelt | Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik |
| Schlagworte | aerial robots • autonomous system design • Autonomous system evaluation • Autonomy • commercial robots • formal methods • Ground robots • industrial robots • Maritime robots • military robots • Reliability • Requirements • Safety • security • Space Robots • Specification • Testing tools and processes • verification • Verification challenges • Verification process |
| ISBN-10 | 3-031-88546-5 / 3031885465 |
| ISBN-13 | 978-3-031-88546-4 / 9783031885464 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
