RAISE

Research lab in Artificial Intelligence for Systems Engineering

Formerly MCLab, the Model Checking Lab

The Research lab in Artificial Intelligence for Systems Engineering (RAISE Lab, formerly MCLab) develops methods and software based on AI and digital twins for simulation-based verification, validation, and synthesis of mission- and safety-critical intelligent systems.

Our general-purpose software tools are employed in areas as diverse as aerospace, critical infrastructures, transportation, medicine and smart grids.

Our methods and software are continuously been exploited in research and industry projects at both National and International levels in areas as diverse as Digital, Industry and Space; Health; Climate, Energy and Mobility; Civil Security for Society; Food, Bioeconomy Natural Resources, Agriculture and Environment.