Analyzing the impact of human errors on interactive service robotic scenarios via formal verification. - Livia Lestingi; Andrea Manglaviti; Davide Marinaro; Luca Marinello; Mehrnoosh Askarpour; Marcello M. Bersani; Matteo Rossi 001 (Softw. Syst. Model., 2024)