Supporting domain-specific state space reductions through local partial-order reduction.
Péter BokorJohannes KinderMarco SerafiniNeeraj SuriPublished in: ASE (2011)
Keyphrases
- domain specific
- state space
- partial order reduction
- model checking
- general purpose
- heuristic search
- domain independent
- petri net
- dynamic programming
- search space
- reinforcement learning
- markov decision processes
- markov chain
- domain experts
- state variables
- particle filter
- planning problems
- state transition
- reinforcement learning algorithms
- multiscale
- decision support
- neural network
- domain ontology
- continuous time markov process