DOI,IST REx ID,Research Group,Title of publication
10.1016/j.jcss.2016.02.009,1477,KrCh,"What is decidable about partially observable Markov decision processes with ω-regular objectives"
10.15479/AT:IST-2013-109-v1-1,5400,KrCh,"What is decidable about partially observable Markov decision processes with ω-regular objectives"
10.4230/LIPIcs.CSL.2013.165,2295,KrCh,What is decidable about partially observable Markov decision processes with omega-regular objectives
10.1109/LICS.2012.29,2957,KrCh,Decidable problems for probabilistic automata on infinite words
null,3363,"KrCh,ToHe",The decidability frontier for probabilistic automata on infinite words
10.15479/AT:IST-2011-0004,5384,KrCh,Decidable problems for probabilistic automata on infinite words