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