Reachability Analysis Based on Structured Representations.
Peter KemperPublished in: Application and Theory of Petri Nets (1996)
Keyphrases
- reachability analysis
- structured representations
- markov decision problems
- markov decision processes
- model checking
- information extraction
- bayesian networks
- timed automata
- plan recognition
- state space
- incremental algorithms
- structured documents
- knowledge base
- finite state
- optimal policy
- machine learning
- decision processes
- reinforcement learning
- supervised learning
- policy iteration
- utility function
- linear programming
- queueing networks
- relational databases