@misc{indiciae1109dfc808d3,
  title = {Learning Verified Monitors for Hidden Markov Models},
  author = {Luko van der Maas and Sebastian Junges},
  year = {2025},
  url = {https://arxiv.org/abs/2504.05963},
  note = {Source identifier: 2504.05963}
}