@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",
note = "30th International Conference on Computer Aided Verification, CAV 2018 ; Conference date: 14-07-2018 Through 17-07-2018",
}