DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-21690-4_10,1603,"KrCh,ToHe",Counterexample explanation by learning small strategies in Markov decision processes