TY  - RPRT
TI  - Metric Temporal Logic with Counting
AU  - Khushraj Madnani
AU  - Shankara Narayanan Krishna
AU  - Paritosh Pandya
PY  - 2015
UR  - https://arxiv.org/abs/1512.09032
ID  - 1512.09032
ER  -