Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games

@article{Chatterjee2012EquivalenceOG,
  title={Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games},
  author={K. Chatterjee and Martin Chmel{\'i}k and R. Majumdar},
  journal={ArXiv},
  year={2012},
  volume={abs/1202.4140}
}
We introduce games with probabilistic uncertainty, a model for controller synthesis in which the controller observes the state through imprecise sensors that provide correct information about the current state with a fixed probability. That is, in each step, the sensors return an observed state, and given the observed state, there is a probability distribution (due to the estimation error) over the actual current state. The controller must base its decision on the observed state (rather than… Expand
2 Citations

Tables and Topics from this paper

Bottom-up symbolic control and adaptive systems: Abstraction, planning and learning
  • J. Fu
  • Computer Science
  • 2013
  • PDF

References

SHOWING 1-10 OF 30 REFERENCES
Qualitative Analysis of Partially-Observable Markov Decision Processes
  • 44
  • PDF
Algorithms for Omega-Regular Games with Imperfect Information
  • 215
  • PDF
Quantitative solution of omega-regular games
  • 138
Quantitative solution of omega-regular games380872
  • 29
  • PDF
Qualitative Determinacy and Decidability of Stochastic Games with Signals
  • 47
  • Highly Influential
  • PDF
Concurrent reachability games
  • 151
  • PDF
Solving sequential conditions by finite-state strategies
  • 542
  • PDF
Universal games of incomplete information
  • J. Reif
  • Mathematics, Computer Science
  • STOC '79
  • 1979
  • 78
On Decision Problems for Probabilistic Büchi Automata
  • 85
  • PDF
...
1
2
3
...