Specification guidelines to avoid the state space explosion problem.
Jan Friso GrooteTim W. D. M. KoutersAmmar OsaiweranPublished in: Softw. Test. Verification Reliab. (2015)
Keyphrases
- state space
- heuristic search
- reinforcement learning
- state transition
- state variables
- optimal policy
- markov decision processes
- dynamic programming
- dynamical systems
- high level
- markov chain
- specification language
- particle filter
- formal specification
- markov decision process
- goal state
- domain specific
- search space
- planning problems
- search algorithm
- database
- reward function
- reinforcement learning algorithms