Stefano Bernagozzi, Angelo Ferrando 0001, Enrico Ghiorzi, Lorenzo Natale, Armando Tacchella. Modeling Robot Control Architectures for Verification and Monitoring. In Cristian Secchi, Lorenzo Marconi 0001, editors, European Robotics Forum 2024 - 15th ERF, Volume 2, Rimini, Italy, 13-15 March 2024. Volume 33 of Springer Proceedings in Advanced Robotics, pages 191-195, Springer, 2024. [doi]