Model-based Verification and Monitoring for Safe and Responsive Robots. - Stefano Bernagozzi; S. Faraci; Enrico Ghiorzi; K. Pedemonte; A. Ferrando; Lorenzo Natale; Armando Tacchella (SIMPAR, 2025)