Scholar
Marco Faella
Google Scholar ID: cooc4M4AAAAJ
Università di Napoli "Federico II", Italy
formal methods
controller synthesis
game theory
preference elicitation
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
426
H-index
12
i10-index
15
Publications
20
Co-authors
11
list available
Publications
1 items
Verifying Tree-Manipulating Programs via CHCs
2025
Cited
0
Co-authors
8 total
Luca de Alfaro
Professor, Computer Science and Engineering, UC Santa Cruz
Marielle Stoelinga
Professor of Risk Management for high tex systems, Radboud University & University of Twente
axel legay
TRAXXEO
Rupak Majumdar
MPI for Software Systems
Krishnendu Chatterjee
Professor, IST Austria
Aniello Murano
Full Professor in Computer Science, Università degli Studi di Napoli Federico II
Thomas Henzinger
IST Austria
Massimo Benerecetti
Professore di Informatica, Università di Napoli "Federico II"
