_id,doi,title
1477,10.1016/j.jcss.2016.02.009,"What is decidable about partially observable Markov decision processes with ω-regular objectives"