"Compositional Verification for Autonomous Systems with Deep Learning ..."

Corina S. Pasareanu, Divya Gopinath, Huafeng Yu (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics