Elsa Andrea Kirchner, Jose de Gea Fernandez, Peter Kampmann, Martin Schröer, Jan Hendrik Metzen, Frank Kirchner. Intuitive Interaction with Robots - Technical Approaches and Challenges. In Rolf Drechsler, Ulrich Kühne, editors, Formal Modeling and Verification of Cyber-Physical Systems, 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015. pages 224-248, Springer, 2015. [doi]
Abstract is missing.