A novel set-based reachability method for optimal robust control of constrained linear systems. - Riccardo Desimini; Maria Prandini (ECC, 2019)

Hybrid systems : computational approaches to verification and control. - Riccardo Desimini (2021)

An abstraction and refinement computational approach to safety verification of discrete time nonlinear systems. - Simone Smeraldo; Riccardo Desimini; Maria Prandini (ECC, 2022)