Takéhiko Nakama, Enrique Muñoz, Kevin LeBlanc, Enrique H. Ruspini. Facilitating Human-Robot Interaction: A Formal Logic for Task Description. In Manuel A. Armada, Alberto Sanfeliu, Manuel Ferre, editors, ROBOT 2013: First Iberian Robotics Conference - Advances in Robotics, Vol. 2, Madrid, Spain, 28-29 November 2013. Volume 253 of Advances in Intelligent Systems and Computing, pages 331-344, Springer, 2013. [doi]
Abstract is missing.