Expressive Completeness of Metric Temporal Logic

Paul Hunter Joël Ouaknine James Worrell

Published in: CoRR (2012)

Keyphrases

metric temporal logic
data quality
learning algorithm
information systems
feature extraction
computational complexity
lower bound
management system
formal proofs