Robustness Guided Testing and Verification for Cyber-Physical Systems Submitted by Georgios Fainekos on Wed, 12/03/2014 - 12:21 Arizona State University model based design Semi-formal methods CPS Domains Health Care Medical Devices Transportation Automotive CPS Technologies Platforms Education Foundations Modeling Validation and Verification Testing 2014 National CPS PI Meeting 2014 Academia