TY  - RPRT
TI  - Counter-example guided inductive synthesis of control Lyapunov functions for uncertain systems
AU  - Daniele Masti
AU  - Filippo Fabiani
AU  - Giorgio Gnecco
AU  - Alberto Bemporad
PY  - 2023
DO  - 10.1109/lcsys.2023.3285102
UR  - https://arxiv.org/abs/2303.10024
ID  - 2303.10024
ER  -