When is Metric Temporal Logic Expressively Complete?.

Published in: CSL (2013)

Keyphrases

metric temporal logic
information retrieval
neural network
support vector
search algorithm
real world
image processing
high quality
data streams
information technology
temporal logic