Stefano Demarchi, Dario Guidotti. Counter-Example Guided Abstract Refinement for Verification of Neural Networks. In Raquel Lazcano López, Daniel Madroñal Quintín, Francesca Palumbo, Christian Pilato, Armando Tacchella, editors, Proceedings of the CPS Summer School PhD Workshop 2022 co-located with 4th Edition of the CPS Summer School (CPS 2022), Pula, Sardinia (Italy), September 19-23, 2022. Volume 3252 of CEUR Workshop Proceedings, CEUR-WS.org, 2022. [doi]
Abstract is missing.