2000 character limit reached
Determinacy and Decidability of Reachability Games with Partial Observation on Both Sides
Published 24 Nov 2008 in cs.GT | (0811.3975v1)
Abstract: 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.
Paper Prompts
Sign up for free to create and run prompts on this paper.