Registered user since Sat 24 Dec 2022
Name:Luca Di Stefano
Country:Italy
Affiliation:University of Gothenburg, Sweden
Personal website:https://www.cse.chalmers.se/~lucad/
Twitter:https://twitter.com/1306lou
GitHub:https://github.com/lou1306
Research interests:Formal Methods, Software Verification, Model Checking, Reactive Synthesis, Multi-Agent Systems
Contributions
| VMCAI 2023 | Compositional Verification of Stigmergic Collective Systems | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2023-profile
View general profile
View general profile