What are the Odds? Improving Statistical Model Checking of Markov Decision Processes (artifact)
Forschungsdaten: Software
Verknüpfte Inhalte
- Veröffentlichungen
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