_id,doi,title
2034,10.1016/j.ipl.2014.09.001,Probabilistic opacity for Markov decision processes