TY  - RPRT
TI  - Model-bounded monitoring of hybrid systems
AU  - Masaki Waga
AU  - Étienne André
AU  - Ichiro Hasuo
PY  - 2024
DO  - 10.1145/3529095
UR  - https://arxiv.org/abs/2102.07401
ID  - 2102.07401
ER  -