Corresponding author: Doron Drusinsky ( ddrusins@nps.edu ) Citation:
Drusinsky D (2006) On-line Monitoring of Metric Temporal Logic with Time-Series Constraints Using Alternating Finite Automata. JUCS - Journal of Universal Computer Science 12(5): 482-498. https://doi.org/10.3217/jucs-012-05-0482 |