Physical Safety in Robotics
| Categories |
Buchkapitel |
| Year | 2015 |
| Authors | Haddadin, S. |
| Published 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 |
Description
| DOI | 10.1007/978-3-658-09994-7_9 |
