Finite state approximation for verification of partially observable stochastic hybrid systems.
Kendra LesserMeeko OishiPublished in: HSCC (2015)
Keyphrases
- finite state
- partially observable
- hybrid systems
- markov decision processes
- model checking
- discrete event
- finite state transducers
- dynamical systems
- state space
- partially observable markov decision processes
- fully observable
- optimal policy
- black box
- partial observability
- markov chain
- reinforcement learning
- intelligent systems
- decision problems
- soft computing
- meta learning
- computational intelligence
- neural network
- infinite horizon
- markov decision problems
- dynamic systems
- planning domains
- policy iteration
- dynamic programming
- artificial intelligence
- average cost
- belief state
- reward function
- model selection
- search space
- markov decision process