TY  - RPRT
TI  - Revisiting MITL to Fix Decision Procedures
AU  - Nima Roohi
AU  - Mahesh Viswanathan
PY  - 2019
UR  - https://arxiv.org/abs/1910.04216
ID  - 1910.04216
ER  -