A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Livia Lestingi' in GoogleThis author has not been identified. Look up 'Mehrnoosh Askarpour' in GoogleThis author has not been identified. Look up 'Marcello M. Bersani' in GoogleThis author has not been identified. Look up 'Matteo Rossi' in Google

runs on WebDSL