@misc{indiciaeeb3af4a7a9d8,
  title = {Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information},
  author = {Xinyi Yu and Weijie Dong and Xiang Yin and Shaoyuan Li},
  year = {2022},
  url = {https://arxiv.org/abs/2203.16267},
  note = {Source identifier: 2203.16267}
}