A sublinear algorithm for barrier-certificate-based data-driven model validation of dynamical systems

January 19th, 2021