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

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

Persons and affiliations

Patrick Wienhöft - , Chair of Algebraic and Logical Foundations of Computer Science, Clusters of Excellence CeTI: Centre for Tactile Internet (Speaker)

Date

26 Aug 2025

Conference

Title	2nd International Joint Conference on Quantitative Evaluation of SysTems & Formal Modeling and Analysis of Timed Systems
Abbreviated title	QEST+FORMATS 2025
Conference number	2
Description	part of CONFEST 2025
Duration	26 - 28 August 2025
Website	https://www.qest-formats.org/
Degree of recognition	International event
Location	Aarhus University
City	Aarhus
Country	Denmark

Keywords

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

View all research output (1)

Research Portal of the TU Dresden

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

Persons and affiliations

Date

Conference

Keywords

Related content

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