Approximate policy iteration for Markov decision processes via quantitative adaptive aggregations - Abate, A; Češka, M; Kwiatkowska, M (Lecture Notes in Computer Science, 2016)