TY  - RPRT
TI  - Statistical Model Checking of Human-Robot Interaction Scenarios
AU  - Livia Lestingi
AU  - Mehrnoosh Askarpour
AU  - Marcello M. Bersani
AU  - Matteo Rossi
PY  - 2020
DO  - 10.4204/eptcs.319.2
UR  - https://arxiv.org/abs/2007.11738
ID  - 2007.11738
ER  -