Intelligent and Adaptive Systems (IAS)

Compulsory Exam (30 ECTS):

• Fundamentals of Reactive Systems (6 ECTS) - 1st Semester
• Distributed Calculus and Coordination (6 ECTS) - 1st Semester
• Performance Analysis and Simulation) (6 ECTS) - 2nd Semester
• Systems Verification Lab (6 ECTS) - 2nd Semester
• Logic and Constraint Programming (6 ECTS) - 2nd Semester

Compulsory Exams (12 ECTS):

• Machine Learning (6 ECTS) - 1st Semester
• Multiagent Systems Lab (6 ECTS) - 1st Semester
• Performance Analysis and Simulation) (6 ECTS) - 2nd Semester