Vacuity in practice: temporal antecedent failure.

Shoham Ben-David Fady Copty Dana Fisman Sitvanit Ruah

Published in: Formal Methods Syst. Des. (2015)

Keyphrases

model checking
temporal reasoning
temporal data
real world
spatio temporal
spatial and temporal
temporal information
temporal logic
space time
temporal relations
multimedia
association rules
optical flow
temporal constraints
temporal dimension
failure prediction