Star-based reachability analysis of deep neural networks
type: Item
instance of: scholarly article
title: Star-based reachability analysis of deep neural networks
zbMATH Open document ID: 1539.68302
DOI: 10.1007/978-3-030-30942-8_39
author: Hoang-Dung Tran
author: Diago Manzanas Lopez
author: Patrick Musau
author: Xiao-Dong Yang
author: Luan Viet Nguyen
author: Weiming Xiang
author: Taylor T. Johnson
publication date: 2024-03-14T00:00:00Z
Mathematics Subject Classification ID: 68T07
zbMATH DE Number: 7817406
MaRDI profile type: Publication
cites work: Simulation-equivalent reachability of large linear systems with inputs
cites work: Safety verification of deep neural networks
cites work: Reluplex: an efficient SMT solver for verifying deep neural networks
description: scientific article; zbMATH DE number 7817406