%0 Journal Article %1 journals/tcs/WuWRHK20 %A Wu, Min %A Wicker, Matthew %A Ruan, Wenjie %A Huang, Xiaowei %A Kwiatkowska, Marta %D 2020 %J Theor. Comput. Sci. %K dblp %P 298-329 %T A game-based approximate verification of deep neural networks with provable guarantees. %U http://dblp.uni-trier.de/db/journals/tcs/tcs807.html#WuWRHK20 %V 807

@article{journals/tcs/WuWRHK20, added-at = {2022-04-09T00:00:00.000+0200}, author = {Wu, Min and Wicker, Matthew and Ruan, Wenjie and Huang, Xiaowei and Kwiatkowska, Marta}, biburl = {https://www.bibsonomy.org/bibtex/269247b8b2c1c34d4da92a484e0f205f3/dblp}, ee = {https://doi.org/10.1016/j.tcs.2019.05.046}, interhash = {93f8e4f50b2ea7da3c896cb1ac253dce}, intrahash = {69247b8b2c1c34d4da92a484e0f205f3}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {298-329}, timestamp = {2024-04-08T18:39:07.000+0200}, title = {A game-based approximate verification of deep neural networks with provable guarantees.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs807.html#WuWRHK20}, volume = 807, year = 2020 }