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.
URL: http://mclab.di.uniroma1.it
