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

Original 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
Publication 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