@misc{indiciae2a4f55a517a9,
  title = {A Counting Semantics for Monitoring LTL Specifications over Finite Traces},
  author = {Ezio Bartocci and Roderick Bloem and Dejan Nickovic and Franz Roeck},
  year = {2018},
  url = {https://arxiv.org/abs/1804.03237},
  note = {Source identifier: 1804.03237}
}