TY  - RPRT
TI  - Explicit Model Checking of Very Large MDP using Partitioning and Secondary Storage
AU  - Arnd Hartmanns
AU  - Holger Hermanns
PY  - 2016
DO  - 10.1007/978-3-319-24953-7_10
UR  - https://arxiv.org/abs/1504.02861
ID  - 1504.02861
ER  -