Case Studies in Data-Driven Verification of Dynamical Systems. - Alexandar Kozarev; John F. Quindlen; Jonathan P. How; Ufuk Topcu (HSCC, 2016)