InterpChecker: Reducing State Space via Interpolations - (Competition Contribution).
Zhao DuanCong TianZhenhua DuanC.-H. Luke OngPublished in: TACAS (2) (2018)
Keyphrases
- state space
- reinforcement learning
- dynamic programming
- state variables
- heuristic search
- dynamical systems
- particle filter
- markov chain
- orders of magnitude
- search space
- markovian decision
- real time
- stochastic domains
- planning problems
- optimal policy
- markov decision processes
- belief state
- action space
- data structure
- learning algorithm