@misc{indiciae9b6a2388626d,
  title = {Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays},
  author = {Martin Fränzle and Thomas M. Grosen and Kim G. Larsen and Martin Zimmermann},
  year = {2025},
  url = {https://arxiv.org/abs/2404.18282},
  note = {Source identifier: 2404.18282}
}