Bounded Variability of Metric Temporal Logic.

Carlo A. Furia Paola Spoletini

Published in: TIME (2014)

Keyphrases

metric temporal logic
databases
relational databases
real world
computer vision
image processing
case study
three dimensional
bayesian networks
reinforcement learning
strictly convex