Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs.
Eric VecchiéRobert de SimonePublished in: CAV (2005)
Keyphrases
- state space
- initial state
- heuristic search
- dynamic programming
- dynamical systems
- reinforcement learning
- state variables
- markov decision processes
- search space
- particle filter
- optimal policy
- reinforcement learning algorithms
- data driven
- natural language
- belief state
- programming environment
- genetic algorithm
- action space
- language constructs
- reactive planning