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.