State space compression with graph encoded sets.
Jean-Charles GrégoirePublished in: The Spin Verification System (1996)
Keyphrases
- state space
- reinforcement learning
- compression algorithm
- heuristic search
- data compression
- graph model
- random walk
- graph theory
- image compression
- state variables
- weighted graph
- directed graph
- graph representation
- planning problems
- graph partitioning
- graph mining
- graph structure
- dynamic programming
- bipartite graph
- compression ratio
- connected components
- dynamical systems
- optimal policy
- graph matching
- compression scheme
- directed acyclic graph
- markov decision processes
- structured data
- graph databases
- graphical models
- graph search