Expressive Completeness for Metric Temporal Logic.

Paul Hunter Joël Ouaknine James Worrell

Published in: LICS (2013)

Keyphrases

metric temporal logic
machine learning
database
databases
multi agent systems
data quality
formal proofs
information retrieval
search engine
social networks
computer vision
decision making
case study
probability distribution
object oriented