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

Tobias MeggendorferTobias Meggendorfer, Maximilian WeiningerMaximilian Weininger, Patrick WienhöftPatrick Wienhöft

DOI Link

Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes
In Pavithra Prabhaka, Andrea Vandin, eds., 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, volume 16143 of Lecture Notes in Computer Science, 195--218, August 2025. Springer

Details
Bibtex

Weitere Informationen unter:Further Information: Link
Projekt:Project: CPEC, CeTI
Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-032-05792-1_11.

@inproceedings{MWW2025,
  author    = {Tobias Meggendorfer and Maximilian Weininger and Patrick
               Wienh{\"{o}}ft},
  title     = {What Are the Odds? Improving Statistical Model Checking of Markov
               Decision Processes},
  editor    = {Pavithra Prabhaka and Andrea Vandin},
  booktitle = {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},
  series    = {Lecture Notes in Computer Science},
  volume    = {16143},
  publisher = {Springer},
  year      = {2025},
  month     = {August},
  pages     = {195--218},
  doi       = {10.1007/978-3-032-05792-1_11}
}