conf.researchr.org / Marcello M. Bersani

Registered user since Mon 26 Apr 2021

Name:Marcello M. Bersani
Affiliation:Politecnico di Milano

Contributions

FormaliSE 2022 Author of Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings within the FormaliSE 2022-track
SEAMS 2021 Author of RoboMAX: Robotic Mission Adaptation eXemplars within the SEAMS 2021-track
FormaliSE 2020 Author of Mind the gap: Robotic Mission Planning Meets Software Engineering within the FormaliSE 2020-track