Guest talk by Prof. Filippo Fabiani
design of control Lyapunov functions and associated state-feedback controllers for uncertain systems [5]. To this end, we design a counter-example guided inductive synthesis scheme, where the joint - yet [...] and reliable neural network-based approximations," in IEEE Transactions on Automatic Control, 2025 [5] D. Masti, F. Fabiani, G. Gnecco, and A. Bemporad, "Counter-example guided inductive synthesis of control …