Determinacy and Decidability of Reachability Games with Partial Observation on Both Sides
Nathalie BertrandBlaise GenestHugo Gimbert
所有作者
Nathalie BertrandBlaise GenestHugo Gimbert
文献摘要
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.