@misc{indiciae1f858bcb29b4,
  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},
  doi = {10.1109/lcsys.2023.3285102},
  url = {https://arxiv.org/abs/2303.10024},
  note = {Source identifier: 2303.10024}
}