Bounded Variability of Metric Temporal Logic.

Carlo A. Furia Paola Spoletini

Published in: CoRR (2013)

Keyphrases

metric temporal logic
software product line
machine learning
asymptotically optimal
databases
social networks
computer vision
objective function
wide range
lower bound
intra personal