@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",
}