Federico Mari

Ph.D. Sapienza Univ. of Rome, Italy, 2010

Assistant Professor
Department of Computer Science
Sapienza University of Rome
Email:

@MCLab

Expertise: Model Checking based algorithms and tools for Verification & Synthesis of Cyber-Physical Systems »