Registered user since Mon 26 Apr 2021
Name:Marcello M. Bersani
Affiliation:Politecnico di Milano
Contributions
| FormaliSE 2022 | Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICSE 2022-profile
View general profile
View general profile