@misc{indiciae088592995990,
  title = {Model Predictive Monitoring of Dynamical Systems for Signal Temporal Logic Specifications},
  author = {Xinyi Yu and Weijie Dong and Xiang Yin and Shaoyuan Li},
  year = {2023},
  url = {https://arxiv.org/abs/2209.12493},
  note = {Source identifier: 2209.12493}
}