Forschung
- Publikationen
-
Laufende Dissertationsprojekte
-
Algorithmen und Komplexität
- Mariia Anapolska: Robust Appointment Scheduling in Hospitals
- Katharina Eickhoff: Design and Analysis of Algorithms for Combinatorial Optimization Problems under Uncertainties
- Dennis Fischer: Optimization under Uncertainty
- Janosch Fuchs: Special Online Problems with Advice
- Christoph Grüne: Complexity and Algorithms in Optimization under Uncertainty
- Tabea Krabs: Robust Hospital Management
- Komal Muluk: Optimization under Adversarial Uncertainty
- Stephan Zieger: Probabilistic Operating Concepts for Highly Automated and Autonomous Rail Vehicles in Rural Areas
- Verifikation
- Logik und Sprachen
-
Applikationsszenarien
- Liu Daxin: Probabilistic Action Formalisms with Applications to Robotics
- Nadine Friesen: Robust Infrastructure
- Rebecca Haehn: Satisfiability Checking for Optimisation of Timetables in Railway Engineering under Consideration of Uncertainties
- Till Hofmann: Robust Execution of Abstract Task Plans on Mobile Robots
- Andreas Klinger: Privacy Preserving Online Algorithms
- Matthias Volk: Dynamic Fault Trees: Semantics, Analysis and Applications
-
Algorithmen und Komplexität
- Abgeschlossene Promotionen
- Abgeschlossene Bachelor- und Masterarbeiten