Exams

For Schwerpunktkolloquium, Prof. Ábrahám offers exams based on the lectures “Satisfiability Checking” and “Modeling and Analysis of Hybrid Systems”. Combinations with lectures of Prof. Katoen, Prof. Giesl and other courses are also possible, please contact us for clarification.