A Counting Semantics for Monitoring LTL Specifications over Finite Traces

Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

LanguageEnglish
Title of host publicationComputer Aided Verification
Subtitle of host publication30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Pages547-564
Number of pages18
Volume1
ISBN (Electronic)978-3-319-96145-3
DOIs
StatusPublished - 2018
Event30th International Conference on Computer Aided Verification - Oxford, United Kingdom
Duration: 14 Jul 201817 Jul 2018

Publication series

NameLecture Notes in Computer Science
Volume10980

Conference

Conference30th International Conference on Computer Aided Verification
Abbreviated titleCAV 2018
CountryUnited Kingdom
CityOxford
Period14/07/1817/07/18

Cite this

Bartocci, E., Bloem, R., Nickovic, D., & Röck, F. (2018). A Counting Semantics for Monitoring LTL Specifications over Finite Traces. In Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (Vol. 1, pp. 547-564). (Lecture Notes in Computer Science; Vol. 10980). https://doi.org/10.1007/978-3-319-96145-3_29

A Counting Semantics for Monitoring LTL Specifications over Finite Traces. / Bartocci, Ezio; Bloem, Roderick; Nickovic, Dejan; Röck, Franz.

Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I. Vol. 1 2018. p. 547-564 (Lecture Notes in Computer Science; Vol. 10980).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Bartocci, E, Bloem, R, Nickovic, D & Röck, F 2018, A Counting Semantics for Monitoring LTL Specifications over Finite Traces. in Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I. vol. 1, Lecture Notes in Computer Science, vol. 10980, pp. 547-564, 30th International Conference on Computer Aided Verification, Oxford, United Kingdom, 14/07/18. https://doi.org/10.1007/978-3-319-96145-3_29
Bartocci E, Bloem R, Nickovic D, Röck F. A Counting Semantics for Monitoring LTL Specifications over Finite Traces. In Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I. Vol. 1. 2018. p. 547-564. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-96145-3_29
Bartocci, Ezio ; Bloem, Roderick ; Nickovic, Dejan ; Röck, Franz. / A Counting Semantics for Monitoring LTL Specifications over Finite Traces. Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I. Vol. 1 2018. pp. 547-564 (Lecture Notes in Computer Science).
@inproceedings{bebd493c184549bdb3440d758a31b812,
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",
doi = "10.1007/978-3-319-96145-3_29",
language = "English",
isbn = "978-3-319-96144-6",
volume = "1",
series = "Lecture Notes in Computer Science",
pages = "547--564",
booktitle = "Computer Aided Verification",

}

TY - GEN

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

AU - Bartocci, Ezio

AU - Bloem, Roderick

AU - Nickovic, Dejan

AU - Röck, Franz

PY - 2018

Y1 - 2018

U2 - 10.1007/978-3-319-96145-3_29

DO - 10.1007/978-3-319-96145-3_29

M3 - Conference contribution

SN - 978-3-319-96144-6

VL - 1

T3 - Lecture Notes in Computer Science

SP - 547

EP - 564

BT - Computer Aided Verification

ER -