The MCLab at Sapienza University of Rome


Toni Mancini, Igor Melatti, Enrico Tronci, Marco Esposito, Leonardo Picchiami
Sapienza University of Rome

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: