Patrick Wienhöft

Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access

S. Kiebel, C. Baier, Clemens Dubslaff, 2023, NFM.

Sound Statistical Model Checking for Probabilities and Expected Rewards

A. Hartmanns, Tobias Meggendorfer, Maximilian Weininger, 2024, 2411.00559.