Parallelising Symbolic State-Space Generators.
Jonathan EzekielGerald LüttgenGianfranco CiardoPublished in: CAV (2007)
Keyphrases
- state space
- state transition
- dynamic programming
- reinforcement learning
- orders of magnitude
- dynamical systems
- markov decision processes
- heuristic search
- symbolic representation
- state variables
- high level
- markov chain
- optimal policy
- particle filter
- planning problems
- connectionist models
- symbolic description
- initial state
- goal state
- neural learning
- real time
- symbolic reasoning
- markovian decision
- symbolic data
- reinforcement learning algorithms
- monte carlo
- information systems
- artificial intelligence
- machine learning