@misc{indiciaee78e2dad0ba1,
  title = {Model-bounded monitoring of hybrid systems},
  author = {Masaki Waga and Étienne André and Ichiro Hasuo},
  year = {2024},
  doi = {10.1145/3529095},
  url = {https://arxiv.org/abs/2102.07401},
  note = {Source identifier: 2102.07401}
}