@misc{indiciaef5ee2e8df275,
  title = {Time-Certified and Efficient NMPC via Koopman Operator},
  author = {Liang Wu and Yunhong Che and Bo Yang and Kangyu Lin and Ján Drgoňa},
  year = {2026},
  url = {https://arxiv.org/abs/2602.15596},
  note = {Source identifier: 2602.15596}
}