_id,doi,title
1501,10.1007/s10703-015-0235-2,CEGAR for compositional analysis of qualitative properties in Markov decision processes