@misc{indiciaeda011b5fd8db,
  title = {Runtime Verification via Rational Monitor with Imperfect Information},
  author = {Angelo Ferrando and Vadim Malvone},
  year = {2024},
  url = {https://arxiv.org/abs/2408.11627},
  note = {Source identifier: 2408.11627}
}