@misc{indiciae0daf5620e4d4,
  title = {Temporal Logic as Filtering},
  author = {Alena Rodionova and Ezio Bartocci and Dejan Nickovic and Radu Grosu},
  year = {2016},
  doi = {10.1145/2883817.2883839},
  url = {https://arxiv.org/abs/1510.08079},
  note = {Source identifier: 1510.08079}
}