Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach

Luca Ferrucci Dino Mandrioli Angelo Morzenti Matteo Rossi

Published in: CoRR (2012)

Keyphrases

metric temporal logic
case study
preprocessing
real time
information retrieval
high quality
pattern recognition
domain knowledge