Picture for Patrick Wienhöft

Patrick Wienhöft

Solving Robust Markov Decision Processes: Generic, Reliable, Efficient

Add code
Dec 13, 2024
Viaarxiv icon

What Are the Odds? Improving the foundations of Statistical Model Checking

Add code
Apr 08, 2024
Viaarxiv icon

More for Less: Safe Policy Improvement With Stronger Performance Guarantees

Add code
May 13, 2023
Figure 1 for More for Less: Safe Policy Improvement With Stronger Performance Guarantees
Figure 2 for More for Less: Safe Policy Improvement With Stronger Performance Guarantees
Figure 3 for More for Less: Safe Policy Improvement With Stronger Performance Guarantees
Figure 4 for More for Less: Safe Policy Improvement With Stronger Performance Guarantees
Viaarxiv icon

Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access

Add code
Mar 22, 2023
Viaarxiv icon