From LTL to rLTL monitoring - improved monitorability through robust semantics.

Corto Mascle; Daniel Neider; Maximilian Schwenger; Paulo Tabuada; Alexander Weinert; Martin Zimmermann

doi:10.1145/3365365.3382197

From LTL to rLTL monitoring - improved monitorability through robust semantics.

Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

8 Citationer (Scopus)

Originalsprog	Engelsk
Titel	HSCC '20: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control
Publikationsdato	30 apr. 2020
Sider	7:1-7:12
DOI	https://doi.org/10.1145/3365365.3382197
Status	Udgivet - 30 apr. 2020
Udgivet eksternt	Ja

Adgang til dokumentet

10.1145/3365365.3382197

https://dblp.org/rec/conf/hybrid/MascleNSTW020

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@inproceedings{e7808c07a01e49e981f01cbc4de8cba3,

title = "From LTL to rLTL monitoring - improved monitorability through robust semantics.",

author = "Corto Mascle and Daniel Neider and Maximilian Schwenger and Paulo Tabuada and Alexander Weinert and Martin Zimmermann",

note = "DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",

year = "2020",

month = apr,

day = "30",

doi = "10.1145/3365365.3382197",

language = "English",

pages = "7:1--7:12",

booktitle = "HSCC '20: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control",

}

From LTL to rLTL monitoring - improved monitorability through robust semantics. / Mascle, Corto; Neider, Daniel; Schwenger, Maximilian et al.
HSCC '20: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control. 2020. s. 7:1-7:12.

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

TY - GEN

T1 - From LTL to rLTL monitoring - improved monitorability through robust semantics.

AU - Mascle, Corto

AU - Neider, Daniel

AU - Schwenger, Maximilian

AU - Tabuada, Paulo

AU - Weinert, Alexander

AU - Zimmermann, Martin

N1 - DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2020/4/30

Y1 - 2020/4/30

U2 - 10.1145/3365365.3382197

DO - 10.1145/3365365.3382197

M3 - Article in proceeding

SP - 7:1-7:12

BT - HSCC '20: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control

ER -