@misc{indiciae27b8028cf0c1,
  title = {Koopman-Model Predictive Control with Signal Temporal Logic Specifications for Temperature Regulation of a Warm-Water Supply System},
  author = {Ryo Miyashita and Yoshihiko Susuki and Atsushi Ishigame},
  year = {2023},
  doi = {10.23919/sice56594.2022.9905828},
  url = {https://arxiv.org/abs/2207.04184},
  note = {Source identifier: 2207.04184}
}