https://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.png00Academic Web Pageshttps://www.georgejpappas.org/wp-content/uploads/2024/04/Penn-Engineering-Logo-blue.pngAcademic Web Pages2015-12-22 00:00:002015-12-22 00:00:00A Sublinear Algorithm for Barrier-Certificate-Based Data-Driven Model Validation of Dynamical Systems
