| Course | Teacher |
|---|---|
| Lecture: Satisfiability checking |
Ábrahám, Kremer |
| Seminar: Satisfiability checking |
Ábrahám, Kremer, Nellen, Schupp |
| Seminar: Hybrid systems verification |
Ábrahám, Kremer, Nellen, Schupp |
| Practical course: State set representation techniques for hybrid systems |
Ábrahám, Schupp |
| Practical course: Datatypes for polytopes and their application for the analysis of hybrid systems |
Ábrahám, Schupp |
| Practical course: Selected topics in renewable energy |
Ábrahám, Richter, Frank |
| Practical course: Uncertainty quantification of agent-based computational financial market models |
Ábrahám, Trimborn, Frank |