Stefan Jaksic, Ezio Bartocci, Radu Grosu, Thang Nguyen, Dejan Nickovic. Quantitative monitoring of STL with edit distance. Formal Methods in System Design, 53(1):83-112, 2018. [doi]
@article{JaksicBGNN18,
title = {Quantitative monitoring of STL with edit distance},
author = {Stefan Jaksic and Ezio Bartocci and Radu Grosu and Thang Nguyen and Dejan Nickovic},
year = {2018},
doi = {10.1007/s10703-018-0319-x},
url = {https://doi.org/10.1007/s10703-018-0319-x},
researchr = {https://researchr.org/publication/JaksicBGNN18},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {53},
number = {1},
pages = {83-112},
}