Formal Verification of Human-Robot Interaction in Healthcare Scenarios.

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

Browse the full SEFM paper archive.