3 citations · 9 across the 10 of their papers we have counts for
1 paper · 2 filters
Krishnendu Chatterjee, Martin Chmelik, Mathieu Tracol
We consider partially observable Markov decision processes (POMDPs) with ω-regular conditions specified as parity objectives. The class of ω-regular languages extends regular langu…