Media type: E-Book; Video Title: Improving Neural Network Verification through Spurious Region Guided Refinement Contributor: Yang, Pengfei [Author]; Li, Renjue [Other]; Li, Jianlin [Other]; Huang, Cheng-Chao [Other]; Wang, Jingyi [Other]; Sun, Jun [Other]; Xue, Bai [Other]; Zhang, Lijun [Other] imprint: [Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021 Published in: 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 ; (Jan. 2021) Extent: 1 Online-Ressource (38 MB, 00:17:33:00) Language: English DOI: 10.5446/54986 Identifier: Origination: Footnote: Audiovisuelles Material Access State: Open Access Rights information: Attribution - Non Commercial (CC BY-NC)