publication date
- January 1, 2023
The Octatope Abstract Domain for Verification of Neural Networks
Chapter
Overview
has restriction
- closed
Date in CU Experts
- March 14, 2023 11:57 AM
Full Author List
- Bak S; Dohmen T; Subramani K; Trivedi A; Velasquez A; Wojciechowski P
author count
- 6
published in
Other Profiles
Digital Object Identifier (DOI)
International Standard Book Number (ISBN) 13
- 9783031274800
Additional Document Info
start page
- 454
end page
- 472