Presentation title
The MCLab at Sapienza University of Rome
Authors
-
Toni Mancini
-
Sapienza University of Rome
-
Igor Melatti
-
Sapienza University of Rome
-
Enrico Tronci
-
Sapienza University of Rome
-
Marco Esposito
-
Sapienza University of Rome
-
Leonardo Picchiami
-
Sapienza University of Rome
Presentation type
Presentation of a research group from one or more scientific institutions
Abstract
We present the main research activity of MCLab, which focuses on Artificial Intelligence and Model Checking based methods for automatic verificartion and design of intelligent systems.
Additional material
- Presentation slides: [pdf]
For more details on this presentation please click the button below: