Specification, stochastic modeling and analysis of interactive service robotic applications. - Livia Lestingi; Davide Zerla; Marcello M. Bersani; Matteo Rossi 001 (Robotics Auton. Syst., 2023)