Condensed State Spaces for Symmetrical Coloured Petri Nets.
Kurt JensenPublished in: Formal Methods Syst. Des. (1996)
Keyphrases
- coloured petri nets
- state space
- formal verification
- markov chain
- heuristic search
- dynamic programming
- orders of magnitude
- reinforcement learning algorithms
- optimal policy
- reinforcement learning
- heuristic function
- search space
- belief state
- particle filter
- markov decision processes
- model checking
- neural network
- domain specific
- search algorithm
- objective function
- multiscale