Patrick Wienhöft Master of Science
Person

Zugehörigkeiten

Professur für Algebraische und logische Grundlagen der Informatik
- Wissenschaftliches Personal
- patrick.wienhoeft@tu-dresden.de

Identifizierungsnummern

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

Veröffentlichungen
Aktivitäten
Forschungsdaten

Statistical Model Checking with Robust Markov Decision Processes

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

Publikation: Hochschulschrift/Abschlussarbeit › Dissertation

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. (Hrsg.). Springer, Cham, S. 83-94 12 S. (Lecture Notes in Computer Science, Band 16143).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

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. (Hrsg.). Springer, Cham, S. 195-218 24 S. (Lecture Notes in Computer Science, Band 16143).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

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, S. 26631-26641 11 S.

Publikation: Beitrag in Fachzeitschrift › Konferenzartikel › Beigetragen › Begutachtung

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. (Hrsg.). Springer, Cham, S. 167–190 24 S. (Lecture Notes in Computer Science, Band 15696).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (11)