A4.A — On Skolem-hardness and saturation points in Markov decision processes

ICALP 2020