Simone Smeraldo, Riccardo Desimini, Maria Prandini. An abstraction and refinement computational approach to safety verification of discrete time nonlinear systems. In European Control Conference, ECC 2022, London, United Kingdom, July 12-15, 2022. pages 572-579, IEEE, 2022. [doi]
Abstract is missing.