ResearchPublications
Physical Safety in Robotics, In Drechsler, R., Kühne, U. (Eds.): Formal Modeling and Verification of Cyber-Physical Systems, pp. 249-271

Physical Safety in Robotics, In Drechsler, R., Kühne, U. (Eds.): Formal Modeling and Verification of Cyber-Physical Systems, pp. 249-271

Categories Buchkapitel
Year 2015
Authors Haddadin, S.
Published In Springer Lecture Notes in Computer Science, to be published
DOI 10.1007/978-3-658-09994-7_9