_id,doi,title
2295,10.4230/LIPIcs.CSL.2013.165,What is decidable about partially observable Markov decision processes with omega-regular objectives