Verification of Autonomous Systems
| ISBN: | 9783031885457 |
|---|---|
| Sprache: | Englisch |
| Produktart: | Gebunden |
| Herausgeber: | Redfield, Signe Seto, Mae Sofge, Donald Sustersic, John |
| Verlag: | Springer International Publishing |
| Veröffentlicht: | 29.06.2025 |
| Schlagworte: | Aerial robots Autonomous system design Autonomous system evaluation Autonomy Commercial robots Ground robots Industrial Robots Logic in AI Maritime robots Military robots Multiagent Systems Robotics Robotik Safety Security Space robots Specification Testing tools and processes Verification Verification challenges Verification process formal methods reliability requirements |