@misc{indiciaed833e330882a,
  title = {From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics},
  author = {Corto Mascle and Daniel Neider and Maximilian Schwenger and Paulo Tabuada and Alexander Weinert and Martin Zimmermann},
  year = {2022},
  url = {https://arxiv.org/abs/1807.08203},
  note = {Source identifier: 1807.08203}
}