Research Title: Optimal and Formal Control of Non-Linear Uncertain Systems Deadline: 25 May 2026 Funded by: The Italian Institute of Artificial Intelligence (AI4I), in collaboration with IMT Supervisors: Luca Laurenti Contact: luca.laurenti@ai4i.it The Italian Institute of Artificial Intelligence (A