@article{counterexampleguidedinductivesynthesisof,
  title = {Counter-example guided inductive synthesis of control Lyapunov functions for uncertain systems},
  author = {Daniele Masti and Filippo Fabiani and Giorgio Gnecco and Alberto Bemporad},
  year = {2023},
  eprint = {2303.10024},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2303.10024v2},
}