The MCLab at Sapienza University of Rome


Toni Mancini, Igor Melatti, Enrico Tronci, Marco Esposito, Leonardo Picchiami
Sapienza Università di Roma

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: