TY  - RPRT
TI  - On the Decidability and Complexity of Some Fragments of Metric Temporal Logic
AU  - Khushraj Madnani
AU  - Shankara Narayanan Krishna
AU  - Paritosh K. Pandya
PY  - 2013
UR  - https://arxiv.org/abs/1305.6137
ID  - 1305.6137
ER  -