Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Star-Based Reachability Analysis of Deep Neural Networks

2019145 citationsBook Chapter

Authors

Hoang-Dung Tran · Vanderbilt University

Diago Manzanas Lopez · Vanderbilt University

Patrick Musau · Vanderbilt University

Xiaodong Yang · Vanderbilt University

Luan Viet Nguyen · University of Pennsylvania

Weiming Xiang · Vanderbilt University

Taylor T. Johnson ·

Topics & Keywords

Adversarial Robustness in Machine Learning Advanced Neural Network Applications Software Testing and Debugging Techniques

UN Sustainable Development Goals

Partnerships for the goals

Publication Details

Published in: Lecture notes in computer science

DOI: 10.1007/978-3-030-30942-8_39

Field-Weighted Citation Impact: 20.40

Star-Based Reachability Analysis of Deep Neural Networks | Researchclopedia

Integrated Software (United States)