Sherlock - A Tool For Verification Of Neural Network Feedback Systems
Conference Proceeding
Overview
publication date
- April 16, 2019
has restriction
- closed
Date in CU Experts
- February 3, 2020 1:13 AM
Full Author List
- Dutta S; Chen X; Jha S; Sankaranarayanan S; Tiwari A
author count
- 5
citation count
- 24
presented at event
Other Profiles
Digital Object Identifier (DOI)
Additional Document Info
start page
- 262
end page
- 263