DOI,IST REx ID,Research Group,Title of publication
10.1016/j.ipl.2014.09.001,2034,KrCh,Probabilistic opacity for Markov decision processes