A
Menu
November 04, 2025 conference-paper Aachen paper

Counterexample-Guided Abstraction Refinement for Star-Based Neural Network Verification

Lecture notes in computer science, pp. 202–216

DOI: 10.1007/978-3-032-09524-4_14 OpenAlex

Authors 2

  1. László Antal corresponding Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

  2. Erika Ábrahám Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

Cited by 0 stored of 0

No patents citing this paper on Lens.org (checked 2026-10-06).

References 13

13 results