A Structural Approach to State Space Decomposition for Approximate Reachability Analysis.
Hyunwoo ChoGary D. HachtelEnrico MaciiMassimo PoncinoFabio SomenziPublished in: ICCD (1994)
Keyphrases
- reachability analysis
- state space
- markov decision processes
- model checking
- timed automata
- dynamic programming
- incremental algorithms
- reinforcement learning
- state variables
- markov chain
- heuristic search
- optimal policy
- partially observable
- planning problems
- knowledge representation
- dynamical systems
- search space
- reinforcement learning algorithms
- expert systems
- markov decision problems
- initial state
- learning algorithm
- belief state
- reward function
- knowledge base
- real time
- xml documents