@article{safedmdacertifiedlearningarchitecture,
  title = {SafEDMD: A Koopman-based data-driven controller design framework for nonlinear dynamical systems},
  author = {Robin Strässer and Manuel Schaller and Karl Worthmann and Julian Berberich and Frank Allgöwer},
  year = {2024},
  eprint = {2402.03145},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2402.03145v3},
}