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]
Abstract is missing.