External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

Guy Katz, Clark W. Barrett, David L. Dill, Kyle Julian, Mykel J. Kochenderfer. Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks. In Rupak Majumdar, Viktor Kuncak, editors, Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I. Volume 10426 of Lecture Notes in Computer Science, pages 97-117, Springer, 2017. [doi]

Authors

Guy Katz

This author has not been identified. Look up 'Guy Katz' in Google

Clark W. Barrett

This author has not been identified. Look up 'Clark W. Barrett' in Google

David L. Dill

This author has not been identified. Look up 'David L. Dill' in Google

Kyle Julian

This author has not been identified. Look up 'Kyle Julian' in Google

Mykel J. Kochenderfer

This author has not been identified. Look up 'Mykel J. Kochenderfer' in Google
runs on