Jun Liu; Yinan Li Formal Methods for Control of Nonlinear Systems - Taylor and Francis 2022 ISBN: 9780429270253 Source: EBOOK