The Octatope Abstract Domain for Verification of Neural Networks Chapter

Overview

CU Boulder Authors

• Velasquez, Alvaro
• Trivedi, Ashutosh

publication date

• January 1, 2023

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

Full Editor List

• Katoen JP; Chechik M; Leucker M

author count

• 6

published in

• Lecture Notes in Artificial Intelligence  Journal

Other Profiles

Digital Object Identifier (DOI)

• https://doi.org/10.1007/978-3-031-27481-7_26

International Standard Book Number (ISBN) 13

• 978-3-031-27480-0

Additional Document Info

start page

• 454

end page

• 472

volume

• 14000