Extending Temporal Logics with Data Variable Quantifications.

Fu Song Zhilin Wu

Published in: FSTTCS (2014)

Keyphrases

temporal logic
data sets
database
data structure
training data
model checking
lower bound
knowledge discovery
data collection
search algorithm
data sources
data processing
background knowledge