Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi. A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios. In 2020 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2020, Toronto, ON, Canada, October 11-14, 2020. pages 1907-1914, IEEE, 2020. [doi]
@inproceedings{LestingiABR20-0,
title = {A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios},
author = {Livia Lestingi and Mehrnoosh Askarpour and Marcello M. Bersani and Matteo Rossi},
year = {2020},
doi = {10.1109/SMC42975.2020.9283204},
url = {https://doi.org/10.1109/SMC42975.2020.9283204},
researchr = {https://researchr.org/publication/LestingiABR20-0},
cites = {0},
citedby = {0},
pages = {1907-1914},
booktitle = {2020 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2020, Toronto, ON, Canada, October 11-14, 2020},
publisher = {IEEE},
isbn = {978-1-7281-8526-2},
}