Determinacy and Decidability of Reachability Games with Partial Observation on Both Sides
published by Hugo Gimbert
in 2008
in Informatics Engineering
and research's language is
English
Download
Abstract in English
We prove two determinacy and decidability results about two-players stochastic reachability games with partial observation on both sides and finitely many states, signals and actions.