| Course | Teacher |
|---|---|
| Lecture: Modelling and analysis of hybrid systems |
Ábrahám, Schupp |
| Practical course: Agile development of a theory solver for SMT |
Ábrahám, Haehn, Kremer, Schupp |
| Practical course: Selected Topics in Renewable Energy |
Ábrahám, Richter |
| Practical course: Web Applications for Renewable Energy |
Ábrahám, Richter |
| Practical course: Heliostat Calibration with Drones in Solar Tower Power Plants |
Ábrahám, Richter, Schupp |
| Seminar: Satisfiability Checking |
Ábrahám, Giesl, Dollase, Frohn, Haehn, Hark, Hensel, Korzniewski, Kremer, Schupp |