Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines. - Clemens Dubslaff; Patrick Wienhöft; Ansgar Fehnker (SEFM, 2021)

More for Less: Safe Policy Improvement with Stronger Performance Guarantees. - Patrick Wienhöft; Marnix Suilen; Thiago D. Simão; Clemens Dubslaff; Christel Baier; Nils Jansen 001 (IJCAI, 2023)

Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access. - Christel Baier; Clemens Dubslaff; Patrick Wienhöft; Stefan J. Kiebel (NFM, 2023)

Towards a Formal Account on Negative Latency. - Clemens Dubslaff; Jonas Schulz; Patrick Wienhöft; Christel Baier; Frank H. P. Fitzek; Stefan J. Kiebel; Johannes Lehmann 001 (AISoLA, 2023)

What Are the Odds? Improving the foundations of Statistical Model Checking. - Tobias Meggendorfer; Maximilian Weininger; Patrick Wienhöft (CoRR, 2024)

Lazy model checking for recursive state machines. - Clemens Dubslaff; Patrick Wienhöft; Ansgar Fehnker (Softw. Syst. Model., 2024)

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

Sound Statistical Model Checking for Probabilities and Expected Rewards. - Carlos E. Budde; Arnd Hartmanns; Tobias Meggendorfer; Maximilian Weininger; Patrick Wienhöft (TACAS (1), 2025)