"Formal Verification of Deep Neural Networks."

Nina Narodytska (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics