Physical Safety in Robotics
| Kategorien |
Buchkapitel |
| Jahr | 2015 |
| Autoren | Haddadin, S. |
| Veröffentlicht in | Springer Lecture Notes in Computer Science, In Drechsler, R., Kühne, U. (Eds.): Formal Modeling and Verification of Cyber-Physical Systems, pp. 249-271 |
Beschreibung
| DOI | 10.1007/978-3-658-09994-7_9 |
