Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality

Carlos E. BuddeCarlos E. Budde, Arnd HartmannsArnd Hartmanns, Tobias MeggendorferTobias Meggendorfer, Maximilian WeiningerMaximilian Weininger, Patrick WienhöftPatrick Wienhöft

DOI Link

Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality
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, 83--94, 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_5.

@inproceedings{BHMWW2025,
  author    = {Carlos E. Budde and Arnd Hartmanns and Tobias Meggendorfer and
               Maximilian Weininger and Patrick Wienh{\"{o}}ft},
  title     = {Statistical Model Checking Beyond Means: Quantiles, {CVaR,} and
               the {DKW} Inequality},
  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     = {83--94},
  doi       = {10.1007/978-3-032-05792-1_5}
}