TY  - RPRT
TI  - PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games
AU  - Pranav Ashok
AU  - Jan Křetínský
AU  - Maximilian Weininger
PY  - 2021
DO  - 10.1007/978-3-030-25540-4_29
UR  - https://arxiv.org/abs/1905.04403
ID  - 1905.04403
ER  -