Is There a Future for Deductive Temporal Verification?
Clare DixonMichael FisherBoris KonevPublished in: TIME (2006)
Keyphrases
- spatio temporal
- temporal constraints
- data mining
- spatial and temporal
- temporal information
- temporal data
- temporal relations
- model checking
- formal verification
- image sequences
- long term
- temporal reasoning
- temporal sequences
- formal methods
- predicting future
- temporal evolution
- neural network
- explanation based learning
- space time
- programming language
- artificial intelligence
- learning algorithm
- real world