Sign in

What is decidable about partially observable Markov decision processes with ω-regular objectives.

Krishnendu ChatterjeeMartin ChmelikMathieu Tracol
Published in: J. Comput. Syst. Sci. (2016)
Keyphrases