TY  - RPRT
TI  - Confidence Sequences for Online Statistical Model Checking of Markov Decision Processes
AU  - Konstantin Kueffner
AU  - Tobias Meggendorfer
AU  - Maximilian Weininger
AU  - Patrick Wienhöft
PY  - 2026
UR  - https://arxiv.org/abs/2606.25797
ID  - 2606.25797
ER  -