TY  - RPRT
TI  - On Skolem-hardness and saturation points in Markov decision processes
AU  - Jakob Piribauer
AU  - Christel Baier
PY  - 2020
UR  - https://arxiv.org/abs/2004.11441
ID  - 2004.11441
ER  -