Approximations of state spaces reduced by partial order reduction.
Pavel MoravecPublished in: SOFSEM (2) (2008)
Keyphrases
- partial order reduction
- model checking
- state space
- petri net
- markov chain
- reinforcement learning
- search algorithm
- artificial intelligence
- markov decision processes
- probability distribution
- feature selection
- genetic algorithm
- optimal policy
- computer vision
- significantly reduced
- reinforcement learning algorithms
- approximation methods
- learning algorithm