A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios.

Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi

Browse the full SMC paper archive.