Federico Mari

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

Associate Professor
Department of Movement, Human and Health Sciences
University of Rome Foro Italico
Email:

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