Quantitative monitoring of STL with edit distance Article in Formal Methods in System Design (March 2018)