Massimo Benerecetti

Joined
December 2019

Names

Massimo Benerecetti (Preferred)

Emails

****@unina.it (Confirmed)

Personal Links

Career & Education History

Associate Professor
DIETI, University of Naples Federico II (unina.it)
2002 – 2025

Advisors, Relations & Conflicts

No relations added

Expertise

Temporal Logics
, 
Formal Verificarion
, 
Strategic Reasoning
, 
Hybrid Systems
, 
Automated Synthesis
, 
Automata
Present

Publications

Co-Authors