Approximate Verification of Partially Observable Discrete Time Stochastic Hybrid Systems.
Kendra LesserMeeko M. K. OishiPublished in: CoRR (2014)
Keyphrases
- hybrid systems
- partially observable
- discrete event
- dynamical systems
- markov decision processes
- decision problems
- state space
- reinforcement learning
- black box
- neural network
- intelligent systems
- meta learning
- soft computing
- dynamic systems
- infinite horizon
- computational intelligence
- markov decision problems
- finite state
- belief state
- artificial intelligence
- simulation model
- model checking
- markov chain
- long run
- reward function
- fuzzy logic
- heuristic search
- np hard
- decision trees