A game-based approximate verification of deep neural networks with provable guarantees

From MaRDI portal
Publication:2286751

DOI10.1016/j.tcs.2019.05.046zbMath1436.68199arXiv1807.03571OpenAlexW2869036160MaRDI QIDQ2286751

Yanyan Li

Publication date: 22 January 2020

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1807.03571




Related Items (11)


Uses Software


Cites Work




This page was built for publication: A game-based approximate verification of deep neural networks with provable guarantees