Practical Infinite-State Verification with Temporal Reasoning.
Michael FisherBoris KonevAlexei LisitsaPublished in: VISSAS (2005)
Keyphrases
- temporal reasoning
- temporal constraints
- temporal information
- qualitative and quantitative
- temporal constraint networks
- constraint networks
- uncertainty management
- reasoning tasks
- spatial reasoning
- temporal knowledge
- event calculus
- constraint reasoning
- temporal relations
- series parallel
- consistency checking
- simple temporal
- model checking