| Course | Teacher |
|---|---|
| Vorlesung: Modelling and analysis of hybrid systems |
Ábrahám, Schupp |
| Praktikum: Control Strategies For Hybrid Vehicles |
Ábrahám, Nellen |
| Seminar: Satisfiability Checking |
Ábrahám, Giesl, Aschermann, Corzilius, Frohn, Hensel, Kremer, Nellen, Schupp, Ströder |
| Software-Projektpraktikum: SMT-Solving |
Ábrahám, Corzilius, Kremer |