A Game−Based Approximate Verification of Deep Neural Networks with Provable Guarantees
Min Wu‚ Matthew Wicker‚ Wenjie Ruan‚ Xiaowei Huang and Marta Kwiatkowska
ISSN
0304−3975
Journal
Theoretical Computer Science
Note
In memory of Maurice Nivat‚ a founding father of Theoretical Computer Science − Part II
Pages
298−329
Volume
807
Year
2020