book chapterLecture notes in computer scienceJan 1, 2017Closed access

Safety Verification of Deep Neural Networks

XHXiaowei HuangMKMarta KwiatkowskaSWSen WangMWMin Wu

University of Oxford

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

833
total citations
FWCI
96.96
Percentile
100%
References
35
Citations per year

Authors

4

Topics & keywords

Topics
Keywords
  • Computer science
  • Adversarial system
  • Artificial intelligence
  • Deep learning
  • Robustness (evolution)
  • Artificial neural network
  • Satisfiability
  • Image (mathematics)
UN Sustainable Development Goals
  • Peace, Justice and strong institutions
No related works found for this paper.

Funding