What are the Odds? Improving Statistical Model Checking of Markov Decision Processes
Dataset: Code
Related content
- Research output
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