Abstract
In this paper, we provide a Dynamic Programming algorithm for online monitoring of the state robustness of Metric Temporal Logic specifications with past time operators. We compute the robustness of MTL with unbounded past and bounded future temporal operators (MTL
Cite
CITATION STYLE
APA
Dokhanchi, A., Hoxha, B., & Fainekos, G. (2014). On-line monitoring for temporal logic robustness. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8734, 231–246. https://doi.org/10.1007/978-3-319-11164-3_19
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free