Probabilistic verification of partially observable dynamical systems.
Benjamin M. GyoriDaniel PaulinSucheendra K. PalaniappanPublished in: CoRR (2014)
Keyphrases
- dynamical systems
- partially observable
- state space
- dynamic systems
- partial observations
- partial observability
- markov decision problems
- hidden state
- nonlinear dynamical systems
- probabilistic model
- model checking
- markov decision processes
- bayesian networks
- partially observable markov decision processes
- generative model
- latent variable models
- decision problems
- planning under uncertainty
- predictive state representations
- finite state
- search algorithm
- reinforcement learning