Verification of Temporal Constraints in Continuous Time on Nondeterministic Stories.
Eric T. AraujoAngelo E. M. CiarliniPublished in: ICEC (2011)
Keyphrases
- temporal constraints
- temporal reasoning
- constraint propagation
- simple temporal
- finite state
- markov chain
- model checking
- temporal information
- temporal constraint networks
- workflow systems
- constraint reasoning
- consistency checking
- resource constraints
- constraint satisfaction problems
- database systems
- temporal aspects