Output Reachable Set Estimation and Verification for Multilayer Neural Networks

Xiang, Weiming; Tran, Hoang-Dung; Johnson, Taylor T.

doi:10.1109/TNNLS.2018.2808470

Record: found
Abstract: not found
Article: not found

Output Reachable Set Estimation and Verification for Multilayer Neural Networks

Author(s): Weiming Xiang , Hoang-Dung Tran , Taylor T. Johnson

Publication date (Print): November 2018

Journal: IEEE Transactions on Neural Networks and Learning Systems

Publisher: Institute of Electrical and Electronics Engineers (IEEE)

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

Title: IEEE Transactions on Neural Networks and Learning Systems

Abbreviated Title: IEEE Trans. Neural Netw. Learning Syst.

Publisher: Institute of Electrical and Electronics Engineers (IEEE)

ISSN (Print): 2162-237X

ISSN (Electronic): 2162-2388

Publication date Created: November 2018

Publication date (Print): November 2018

Volume: 29

Issue: 11

Pages: 5777-5783

Article

DOI: 10.1109/TNNLS.2018.2808470

SO-VID: b97d5e9e-a1e7-4443-8688-971b746e971a

License:

History

Data availability:

Comments

Comment on this article

scite_

Cited by 20

See all cited by

- Version 1

Output Reachable Set Estimation and Verification for Multilayer Neural Networks

Read this article at

Related collections

ScienceOpen Research

Author and article information

Journal

Article

History

Comments

Comment on this article

Similar content 1,178

Cited by 20