Quantitative monitoring of STL with edit distance

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	83-112
Number of pages	30
Journal	Formal Methods in System Design
Publication status	Published - 2018

Research Field

@article{e3cb9de384bd4f349ecc3018562ee14a,

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",

language = "English",

pages = "83--112",

journal = "Formal Methods in System Design",

issn = "0925-9856",

publisher = "Springer Netherlands",

}