Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings. - Livia Lestingi; Cristian Sbrolli; Pasquale Scarmozzino; Giorgio Romeo; Marcello M. Bersani; Matteo Rossi 001 (FormaliSE@ICSE, 2022)