1350420

biblio

Visible to the public Vacuity Aware Falsification for {MTL} Request-Response Specifications

Submitted by el_wehby on Tue, 05/15/2018 - 11:39pm
biblio

Visible to the public URL: {https://sites.google.com/a/asu.edu/s-taliro/}

Submitted by el_wehby on Tue, 05/15/2018 - 11:39pm
file

Visible to the public CAREER: Robustness Guided Testing and Verification for Cyber-Physical Systems

Submitted by fainekos on Wed, 11/29/2017 - 5:20pm. Contributor:

This project develops a theoretical framework as well as software tools to support testing and verification of a Cyber-Physical System (CPS) within a Model-Based Design (MBD) process. The theoretical bases of the framework are stochastic optimization methods, and robustness notions of formal specification languages.