DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.CSL.2013.165,2295,KrCh,What is decidable about partially observable Markov decision processes with omega-regular objectives