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