Automatic Verification of Intelligent Systems
Course taught within the Master Programme in Computer Science at Sapienza University of Rome.
Course taught within the Master Programme in Computer Science at Sapienza University of Rome.
Course taught within the Master programme in Computer Science at Sapienza University of Rome.
Marco Esposito, Alberto Leva, Toni Mancini, Leonardo Picchiami, Enrico Tronci. IEEE Transactions on Industrial Informatics, 2025.
Leonardo Picchiami, Maxime Parmentier, Axel Legay, Toni Mancini, Enrico Tronci. Elsevier Journal of Systems and Software, 2024.
Honour Programme (Percorso di eccellenza) within the Master and Bachelor programmes in Computer Science and the Bachelor programme in Applied Computer Science and Artificial Intelligence at Sapienza University of Rome.
Activity (Attività Formativa Complementare, AFC) offered within the Master programme in Computer Science at Sapienza University of Rome.