Source-Level Bitwise Branching for Temporal Verification.
Yuandong Cyrus LiuTon-Chanh LeEric KoskinenPublished in: CoRR (2021)
Keyphrases
- temporal information
- spatial and temporal
- spatio temporal
- higher level
- artificial intelligence
- levels of abstraction
- model checking
- search space
- distance measure
- video sequences
- objective function
- database systems
- web services
- branch and bound
- temporal reasoning
- temporal constraints
- lower level
- temporal patterns
- genetic algorithm
- temporal dimension
- verification method