Intuitive Interaction with Robots – Technical Approaches and Challenges

Formal Modeling and Verification of Cyber-Physical Systems ◽

10.1007/978-3-658-09994-7_8 ◽

2015 ◽

pp. 224-248 ◽

Author(s):

Elsa Andrea Kirchner ◽

Jose de Gea Fernandez ◽

Peter Kampmann ◽

Martin Schröer ◽

Jan Hendrik Metzen ◽

...

Download Full-text