Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation.
Gianfranco CiardoGerald LüttgenRadu SiminiceanuPublished in: TACAS (2001)
Keyphrases
- state space
- reinforcement learning
- heuristic search
- dynamical systems
- markov chain
- particle filter
- belief state
- state transition
- search strategy
- markov decision process
- dynamic programming
- search space
- state variables
- neural network
- generation method
- macro actions
- stochastic domains
- reinforcement learning algorithms
- optimal policy
- computationally efficient
- information systems
- data mining