Ouaknine, Joël Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;
Ho, H.-M., Ouaknine, J., & Worrell, J. (2019). On the Expressiveness and Monitoring of Metric Temporal Logic. Logical Methods in Computer Science, 15(2): 13. doi:10.23638/LMCS-15(2:13)2019.