Robustness Guided Testing and Verification for Cyber-Physical Systems Submitted by Georgios Fainekos on Fri, 11/04/2016 - 15:14 2016 National CPS PI Meeting 2016