When is Metric Temporal Logic Expressively Complete?

Paul Hunter Joël Ouaknine James Worrell

Published in: CoRR (2012)

Keyphrases

metric temporal logic
pattern recognition
database
data mining
information retrieval
website
reinforcement learning
data structure
domain knowledge
information extraction
temporal logic