Specification Guidelines to Avoid the State Space Explosion Problem.
Jan Friso GrooteTim W. D. M. KoutersAmmar OsaiweranPublished in: FSEN (2011)
Keyphrases
- state space
- state transition
- heuristic search
- reinforcement learning
- markov chain
- markov decision processes
- high level
- dynamic programming
- formal specification
- dynamical systems
- specification language
- state variables
- continuous time markov process
- particle filter
- optimal policy
- belief state
- formal methods
- formal verification
- data sets
- design patterns
- case study
- classical planning
- clinical guidelines