Syntax-driven optimisations for reachable state space construction of ESTEREL programs.
Eric VecchiéRobert de SimonePublished in: Int. J. Embed. Syst. (2006)
Keyphrases
- state space
- circuit design
- reinforcement learning
- initial state
- dynamical systems
- reinforcement learning algorithms
- markov decision processes
- heuristic search
- markov decision process
- dynamic programming
- search space
- markov chain
- planning problems
- state variables
- continuous state spaces
- neural network
- stochastic domains
- computer programs
- natural language
- high level