Guest talk by Prof. Filippo Fabiani
les) produces a solution with a finite number of samples. References: [1] F. Fabiani, B. Stellato, D. Masti, and P. J. Goulart, "A neural network-based approach to hybrid systems identification for control [...] 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 [...] received the B.Sc. degree in Bio-Engineering, the M.Sc. degree in Automatic Control Engineering, and the Ph.D. degree (cum laude) in Automatic Control, all from the University of Pisa (IT), in 2012, 2015, and …