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]
@inproceedings{PathakPT15,
title = {Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction},
author = {Shashank Pathak and Luca Pulina and Armando Tacchella},
year = {2015},
doi = {10.1007/978-3-319-24309-2_20},
url = {http://dx.doi.org/10.1007/978-3-319-24309-2_20},
researchr = {https://researchr.org/publication/PathakPT15},
cites = {0},
citedby = {0},
pages = {260-273},
booktitle = {AI*IA 2015, Advances in Artificial Intelligence - XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings},
editor = {Marco Gavanelli and Evelina Lamma and Fabrizio Riguzzi},
volume = {9336},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-24308-5},
}