Quantitative monitoring of STL with edit distance

Stefan Jaksic, Ezio Bartocci, Radu Grosu, Thang Nguyen, Dejan Nickovic

Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

Originalsprache	Englisch
Seiten (von - bis)	83-112
Seitenumfang	30
Fachzeitschrift	Formal Methods in System Design
Publikationsstatus	Veröffentlicht - 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",

}