Matteo G. Rossi

Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning

M. Bersani, R. Mirandola, Livia Lestingi, 2023, FME Workshop on Formal Methods in Software Engineering.

Specification, stochastic modeling and analysis of interactive service robotic applications

M. Bersani, Livia Lestingi, Matteo Rossi, 2023, Robotics Auton. Syst..

Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings

M. Bersani, Livia Lestingi, Cristian Sbrolli, 2022, 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE).

A Multi-Agent Architecture for Health Information Systems

Aldo Franco Dragoni, Paolo Sernani, Matteo Rossi, 2013, KES-AMSTA.