Quantitative monitoring of STL with edit distance

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

Original language	English
Title of host publication	International Conference on Runtime Verification, RV2016
Pages	201-218
Number of pages	18
Publication status	Published - 2016
Event	2016 International Conference on Runtime Verification - Duration: 23 Sept 2016 → 30 Sept 2016

Conference	2016 International Conference on Runtime Verification
Period	23/09/16 → 30/09/16

Research Field

@inproceedings{cf80060b81834e17a2632ab47a3b43f1,

title = "Quantitative monitoring of STL with edit distance",

author = "Stefan Jaksic and Ezio Bartocci and Radu Grosu and Dejan Nickovic",

year = "2016",

language = "English",

isbn = "978-3-319-46982-9",

pages = "201--218",

booktitle = "International Conference on Runtime Verification, RV2016",

note = "2016 International Conference on Runtime Verification ; Conference date: 23-09-2016 Through 30-09-2016",

}

TY - GEN

T1 - Quantitative monitoring of STL with edit distance

A2 - Jaksic, Stefan

A2 - Bartocci, Ezio

A2 - Grosu, Radu

A2 - Nickovic, Dejan

PY - 2016

Y1 - 2016

M3 - Conference Proceedings with Oral Presentation

SN - 978-3-319-46982-9

SP - 201

EP - 218

BT - International Conference on Runtime Verification, RV2016

T2 - 2016 International Conference on Runtime Verification

Y2 - 23 September 2016 through 30 September 2016

ER -