A Counting Semantics for Monitoring LTL Specifications over Finite Traces

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

Original language	English
Title of host publication	Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018
Pages	547-564
Number of pages	18
Publication status	Published - 2018
Event	CAV 2018 - Duration: 14 Jul 2018 → 17 Jul 2018

Conference	CAV 2018
Period	14/07/18 → 17/07/18

Research Field

@inproceedings{5421a7b4bdb34fe9b727b3a23cdab0fd,

title = "A Counting Semantics for Monitoring LTL Specifications over Finite Traces",

author = "Ezio Bartocci and Roderick Bloem and Dejan Nickovic and Franz R{\"o}ck",

year = "2018",

language = "English",

isbn = "978-3-319-96144-6",

pages = "547--564",

booktitle = "Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018",

note = "CAV 2018 ; Conference date: 14-07-2018 Through 17-07-2018",

}

A Counting Semantics for Monitoring LTL Specifications over Finite Traces. / Bartocci, Ezio; Bloem, Roderick (Speaker); Nickovic, Dejan et al.
Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018. 2018. p. 547-564.

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

TY - GEN

T1 - A Counting Semantics for Monitoring LTL Specifications over Finite Traces

AU - Bartocci, Ezio

AU - Nickovic, Dejan

AU - Röck, Franz

A2 - Bloem, Roderick

PY - 2018

Y1 - 2018

M3 - Conference Proceedings with Oral Presentation

SN - 978-3-319-96144-6

SP - 547

EP - 564

BT - Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018

T2 - CAV 2018

Y2 - 14 July 2018 through 17 July 2018

ER -