On Freeze LTL with Ordered Attributes.

Normann Decker Daniel Thoma

Published in: CoRR (2015)

Keyphrases

attribute values
model checking
missing attribute values
temporal logic
data sets
real time
information systems
linear temporal logic
deterministic automata
ordered sets
rough approximations
multi attribute
state space
query language
bayesian networks
database systems
decision trees
machine learning
databases