Shashank Pathak, Luca Pulina, Armando Tacchella. Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction. In Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, editors, AI*IA 2015, Advances in Artificial Intelligence - XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings. Volume 9336 of Lecture Notes in Computer Science, pages 260-273, Springer, 2015. [doi]
Abstract is missing.