ARENA: Enhancing Abstract Refinement for Neural Network Verification

Autor: Yuyi Zhong, Quang-Trung Ta, Siau-Cheng Khoo
Rok vydání: 2023
Zdroj: Lecture Notes in Computer Science ISBN: 9783031249495
Databáze: OpenAIRE