Zum Inhaltsbereich Zur Hauptnavigation Zur Suche
Erfolgreich abgeschlossenen Promotionen im Rahmen des GRK UnRAVeL.
Monotonicity in Markov Models
Tobias Winkler: Programming and Verifying Uncertain Phenomena
Optimisation and Analysis of Railway Timetables under Consideration of Uncertainties
Dr. Janosch Fuchs
Dennis Fischer: Optimization under Uncertainty Björn Tauer: The impact of coordination within transportation networks Laura Vargas Koch: Competitive variants of discrete and continuous flows over time Stephan Zieger: Probabilistic Operating Concepts for Highly Automated and Autonomous Rail Vehicles in Rural Areas
Norman Weik: Long-term capacity planning of railway infrastructure : a stochastic approach capturing infrastructure unavailability Stephan Zieger: Probabilistic Operating Concepts for Highly Automated and Autonomous Rail Vehicles in Rural Areas
Marcel Hark: Towards Complete Methods for Automatic Complexity and Termination Analysis of (Probabilistic) Programs Benjamin Kaminski: Advanced weakest precondition calculi for probabilistic programs Tobias Winkler: Programming and Verifying Uncertain Phenomena
Benjamin Kaminski: Advanced weakest precondition calculi for probabilistic programs Peter Lindner: The Theory of Infinite Probabilistic Databases Dominik Meier: Termination and Complexity Analysis of Probabilistic Programs
Mariia Anapolska: Robust Appointment Scheduling in Hospitals Christoph Grüne: Complexity and Algorithms in Optimization under Uncertainty Tabea Krabs: Robust Hospital Management Dr. Björn Tauer: The impact of coordination within transportation networks Stephan Zieger: Probabilistic Operating Concepts for Highly Automated and Autonomous Rail Vehicles in Rural Areas
Determinization and ambiguity of classical and probabilistic Büchi automata
Janosch Fuchs: Special Online Problems with Advice Dr. Björn Tauer: The impact of coordination within transportation networks Tabea Krabs: Robust Hospital Management Stephan Zieger: Probabilistic Operating Concepts for Highly Automated and Autonomous Rail Vehicles in Rural Areas
Dennis Fischer: Optimization under Uncertainty Janosch Fuchs: Special Online Problems with Advice Dr. Laura Vargas Koch: Competitive variants of discrete and continuous flows over time Stephan Zieger: Probabilistic Operating Concepts for Highly Automated and Autonomous Rail Vehicles in Rural Areas
Rebecca Haehn: Optimisation and Analysis of Railway Timetables under Consideration of Uncertainties Matthias Volk: Dynamic Fault Trees: Semantics, Analysis and Applications
Parameter synthesis in Markov models
Dr. Benjamin Kaminski: Advanced weakest precondition calculi for probabilistic programs Dr. Jip Spel: Monotonicity in Parametric Markov Chains
Till Hofmann: Robust Execution of Abstract Task Plans on Mobile Robots
Letzte Aktualisierung : 11.07.2023