conf.researchr.org / Luca Di Stefano
Registered user since Sat 24 Dec 2022
Name:Luca Di Stefano
Country:Austria
Affiliation:Technische Universität Wien
Personal website: https://www.lucadistefano.eu
X (Twitter): https://x.com/1306lou
GitHub: https://github.com/lou1306
Research interests:Formal Methods, Software Verification, Model Checking, Reactive Synthesis, Multi-Agent Systems
Contributions