Lavindra de Silva, Rongjie Yan, Félix Ingrand, Rachid Alami, Saddek Bensalem. A Verifiable and Correct-by-Construction Controller for Robots in Human Environments. In Julie A. Adams, William D. Smart, Bilge Mutlu, Leila Takayama, editors, Proceedings of the Tenth Annual ACM/IEEE International Conference on Human-Robot Interaction, HRI 2015 Extended Abstracts, Portland, OR, USA, March 02 - 05, 2015. pages 281, ACM, 2015. [doi]
Abstract is missing.