Formal Methods for Control of Nonlinear Systems - Jun Liu; Yinan Li (Taylor and Francis, 2022)