book chapterLecture notes in computer scienceJan 1, 2017Closed access

Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

GKGuy KatzCBClark BarrettDLDavid L. DillKDKyle D. JulianMJMykel J. Kochenderfer

Stanford University

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

1,644
total citations
FWCI
178.66
Percentile
100%
References
38
Citations per year

Authors

5

Topics & keywords

Topics
Keywords
  • Computer science
  • Artificial neural network
  • Deep neural networks
  • Scalability
  • Solver
  • Artificial intelligence
  • Satisfiability modulo theories
  • Obstacle
No related works found for this paper.