Hsi-Ming Ho, Joël Ouaknine, James Worrell 0001. On the Expressiveness and Monitoring of Metric Temporal Logic. Logical Methods in Computer Science, 15(2), 2019. [doi]
@article{HoOW19,
title = {On the Expressiveness and Monitoring of Metric Temporal Logic},
author = {Hsi-Ming Ho and Joël Ouaknine and James Worrell 0001},
year = {2019},
url = {https://lmcs.episciences.org/5447},
researchr = {https://researchr.org/publication/HoOW19},
cites = {0},
citedby = {0},
journal = {Logical Methods in Computer Science},
volume = {15},
number = {2},
}