MCLab: Model Checking Lab

Our primary research activity focuses on AI and Model Checking based algorithms and tools for the automatic design and verification of mission or safety-critical systems with an emphasis on intelligent or autonomous systems.



Responsabile del Gruppo

Enrico Tronci

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma