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