Meggendorfer, Tobias

3 publications

AAAI 2025 Solving Robust Markov Decision Processes: Generic, Reliable, Efficient Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft

IJCAI 2024 Certified Policy Verification and Synthesis for MDPs Under Distributional Reach-Avoidance Properties S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic

AAAI 2022 Risk-Aware Stochastic Shortest Path Tobias Meggendorfer