Exploiting interleaving semantics in symbolic state-space generation.
Gianfranco CiardoGerald LüttgenAndrew S. MinerPublished in: Formal Methods Syst. Des. (2007)
Keyphrases
- state space
- state transition
- heuristic search
- reinforcement learning
- formal semantics
- dynamic programming
- semantic information
- markov chain
- state variables
- high level
- particle filter
- logic programming
- reinforcement learning algorithms
- dynamical systems
- continuous time markov process
- databases
- conceptual model
- markov decision processes
- optimal policy
- symbolic representation
- search space
- speech acts
- neural learning
- stochastic domains
- symbolic description
- neural network