Output Reachable Set Estimation and Verification for Multilayer Neural Networks

Document Details

Document Type: Pub Defense Publication
Publication Date: Nov 01, 2018
Source ID: 10.1109/tnnls.2018.2808470

Entities

People

Hoang-Dung Tran
Taylor T. Johnson
Weiming Xiang

Organizations

Air Force Office of Scientific Research
National Science Foundation
Vanderbilt University

Tags

Technology Areas

AI & ML
AI & ML - Bayesian Inference
AI & ML - Neural Networks