State Space Reduction of Linear Processes Using Control Flow Reconstruction.
Jaco van de PolMark TimmerPublished in: ATVA (2009)
Keyphrases
- control flow
- state space
- process model
- data flow
- workflow management systems
- software testing
- heuristic search
- workflow processes
- reinforcement learning
- markov chain
- transition systems
- dynamic programming
- dynamical systems
- image reconstruction
- markov decision processes
- business process models
- modeling language
- business process
- search space
- database systems
- optimal policy
- web services
- information systems
- machine learning
- event logs
- memory hierarchy
- business processes
- particle filter
- database