Not registered as user yet
Name:Matteo Rossi
Affiliation:Politecnico di Milano
Personal website:http://home.deib.polimi.it/rossi/
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