Titolo della presentazione
The MCLab at Sapienza University of Rome
Autori
-
Toni Mancini
-
Sapienza Università di Roma
-
Igor Melatti
-
Sapienza Università di Roma
-
Enrico Tronci
-
Sapienza Università di Roma
-
Marco Esposito
-
Sapienza Università di Roma
-
Leonardo Picchiami
-
Sapienza Università di Roma
Tipologia della presentazione
Presentazione di un gruppo di ricerca di una o più istituzioni scientifiche
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.
Ulteriore materiale
- Slide della presentazione: [pdf]
Per ulteriori dettagli su questa presentazione, cliccare sul pulsante seguente: