@misc{indiciaef991aa6b6f58,
  title = {Formal Synthesis of Robust Koopman-Model Predictive Control: A Case Study in AC-DC Power Conversion},
  author = {Shun Hirose and Shiu Mochiyama and Yoshihiko Susuki},
  year = {2026},
  url = {https://arxiv.org/abs/2609.15197},
  note = {Source identifier: 2609.15197}
}