| Course | Teacher | |
|---|---|---|
| Vorlesung: Modelling and analysis of hybrid systems |
Ábrahám, Schupp | |
| Seminar: Satisfiability Checking |
Ábrahám, Giesl, Frohn, Hensel, Kremer, Nellen, Schupp | |
| Practical Course: SMT-Solving with ICP |
Ábrahám, Kremer, Schupp | |
| Practical Course: SMT-Solving with Simplex |
Ábrahám, Kremer, 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 |