Jun Liu; Yinan Li

Formal Methods for Control of Nonlinear Systems - Taylor and Francis 2022

9780429270253

EBOOK