Registered user since Fri 15 Sep 2023
Name:Matteo Rossi
Country:Italy
Affiliation:Politecnico di Milano
Research interests:Formal Methods, Software Engineering, Formal Verification, Temporal Logics, Human-robot interaction, Intelligent Transport Systems
Contributions
ECSA 2023-profile
View general profile
View general profile