On the Decidability and Complexity of Some Fragments of Metric Temporal Logic

Khushraj Madnani Shankara Narayanan Krishna Paritosh K. Pandya

Published in: CoRR (2013)

Keyphrases

metric temporal logic
worst case
web services
computational complexity
real time
data mining
image sequences
keywords
multi agent systems
decision problems
query answering