Incremental State Space Construction for Coloured Petri Nets.
Glenn LewisCharles LakosPublished in: ICATPN (2001)
Keyphrases
- state space
- coloured petri nets
- heuristic search
- markov decision processes
- reinforcement learning
- dynamic programming
- incremental clustering
- particle filter
- optimal policy
- markovian decision
- real time
- incremental algorithms
- formal verification
- incremental learning
- data driven
- information retrieval
- databases
- planning problems
- state variables
- state transition
- reinforcement learning algorithms
- markov decision process
- domain specific
- case study
- information systems
- continuous time markov process