_id,doi,title
1603,10.1007/978-3-319-21690-4_10,Counterexample explanation by learning small strategies in Markov decision processes