Intelligent and Adaptive Systems (IAS)

Compulsory Exams - Group I (30 ECTS):

• Fundamentals of Reactive Systems (6 ECTS) - 1st Semester
• Distributed Calculus and Coordination (6 ECTS) - 1st Semester
• Machine Learning (6 ECTS) - 1st Semester
• Systems Verification Lab (6 ECTS) - 2nd Semester
• Reactive Systems Verification alias Model Checking I (6 CFU)

Selection in SMV group (6 CFU to be selected among the following ones):

• Business Process Management and Flexibility (6 CFU)
• Distributed Systems (6 CFU)
• IT Security (6 CFU)
• Queuing Network: Simulation (6 CFU)

Compulsory Exams (12 CFU):

• Real-time and Probabilistic System Verification (6 CFU)
• Domain Specific Formal Languages (6 CFU)