Compressing the State Space Representation of LOTOS Specifications.
Juan QuemadaDavid LarrabeitiSantiago PavónPublished in: FORTE (1993)
Keyphrases
- state space
- state variables
- heuristic search
- neural network
- markov decision processes
- image representation
- representation language
- representation scheme
- optimal policy
- markov chain
- reinforcement learning
- case study
- data sets
- particle filter
- search space
- dynamical systems
- data compression
- knowledge base
- semantic representation
- database