DOI,IST REx ID,Research Group,Title of publication
10.1007/s10703-015-0235-2,1501,"KrCh,ToHe",CEGAR for compositional analysis of qualitative properties in Markov decision processes