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.
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.