Quantitative monitoring of STL with edit distance

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

Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

OriginalspracheEnglisch
Seiten (von - bis)83-112
Seitenumfang30
FachzeitschriftFormal Methods in System Design
PublikationsstatusVeröffentlicht - 2018

Research Field

  • Dependable Systems Engineering

Diese Publikation zitieren