Research Title: Optimal and Formal Control of Non-Linear Uncertain Systems Deadline :25 May 202 **6 Funded b** y:The Italian Institute of Artificial Intelligence (AI4I), in collaboration with I **MT Superviso** rs:Luca Laure **nti Cont** act: https://ai4i.it/rd-labs/# RIAS The Italian Institute of A