SPLASH 2024 (series) / 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
SPLASH 2024-profile
View general profile
View general profile