Patrick Wienhöft Master of Science
Person

Affiliations

Chair of Algebraic and Logical Foundations of Computer Science
- Academic Staff
- patrick.wienhoeft@tu-dresden.de

Identification Numbers

ORCID	0000-0001-8047-4094
Scopus author ID	57388727400

Statistical Model Checking with Robust Markov Decision Processes

Wienhöft, P., 4 Nov 2025, 213 p.

Research output: Types of thesis › Doctoral thesis

Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality

Budde, C. E., Hartmanns, A., Meggendorfer, T., Weininger, M. & Wienhöft, P., 2026, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26-28, 2025, Proceedings. Prabhakar, P. & Vandin, A. (eds.). Springer, Cham, p. 83-94 12 p. (Lecture Notes in Computer Science, Vol. 16143).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes

Meggendorfer, T., Weininger, M. & Wienhöft, P., 2026, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26–28, 2025, Proceedings. Prabhakar, P. & Vandin, A. (eds.). Springer, Cham, p. 195-218 24 p. (Lecture Notes in Computer Science, Vol. 16143).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Solving Robust Markov Decision Processes: Generic, Reliable, Efficient

Meggendorfer, T., Weininger, M. & Wienhöft, P., 11 Apr 2025, In: Proceedings of the AAAI Conference on Artificial Intelligence. 39, 25, p. 26631-26641 11 p.

Research output: Contribution to journal › Conference article › Contributed › peer-review

Sound Statistical Model Checking for Probabilities and Expected Rewards

Budde, C. E., Hartmanns, A., Meggendorfer, T., Weininger, M. & Wienhöft, P., 2025, Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I. Gurfinkel, A. & Heule, M. (eds.). Springer, Cham, p. 167–190 24 p. (Lecture Notes in Computer Science, Vol. 15696).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

View all research output (11)