The hexatope and octatope abstract domains for neural network verification Journal Article uri icon

Overview

publication date

  • December 1, 2024

has restriction

  • closed

Date in CU Experts

  • December 31, 2024 6:30 AM

Full Author List

  • Bak S; Dohmen T; Subramani K; Trivedi A; Velasquez A; Wojciechowski P

author count

  • 6

citation count

  • 0

Other Profiles

International Standard Serial Number (ISSN)

  • 0925-9856

Electronic International Standard Serial Number (EISSN)

  • 1572-8102

Additional Document Info

start page

  • 178

end page

  • 199

volume

  • 64

issue

  • 1-3