Doron Drusinsky. On-line Monitoring of Metric Temporal Logic with Time-Series Constraints Using Alternating Finite Automata. J. UCS, 12(5):482-498, 2006. [doi]
@article{Drusinsky06,
title = {On-line Monitoring of Metric Temporal Logic with Time-Series Constraints Using Alternating Finite Automata},
author = {Doron Drusinsky},
year = {2006},
url = {http://www.jucs.org/jucs_12_5/on_line_monitoring_of},
tags = {constraints, logic},
researchr = {https://researchr.org/publication/Drusinsky06},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {12},
number = {5},
pages = {482-498},
}