@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@techreport{seshia-tr17,
    Author = {Seshia, Sanjit A.},
    Title = {Compositional Verification without Compositional Specification for Learning-Based Systems},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2017},
    Month = {Nov},
    number = {UCB/EECS-2017-164},
    abstract = {We consider the problem of performing compositional verification 
of a system with machine learning components whose behavior 
cannot easily be formally specified.  
We present an approach involving a system-level verifier 
communicating with a component-level analyzer wherein  
the former identifies a subset of environment behaviors 
that might lead to a system-level failure while the latter 
identifies erroneous behaviors, such as misclassifications, 
of the machine learning component that might be extended 
to a system-level counterexample. 
Results on cyber-physical systems with deep learning 
components used for perception demonstrate the promise of 
this approach.}
}