@misc{indiciaef6f56f8df7c5,
  title = {Robustness Measures and Monitors for Time Window Temporal Logic},
  author = {Ahmad Ahmad and Cristian-Ioan Vasile and Roberto Tron and Calin Belta},
  year = {2023},
  url = {https://arxiv.org/abs/2304.06645},
  note = {Source identifier: 2304.06645}
}