Reluplex: An efficient smt solver for verifying deep neural networks

Guy Katz, Clark Barrett, David L. Dill, Kyle Julian, Mykel J. Kochenderfer

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Fingerprint

Dive into the research topics of 'Reluplex: An efficient smt solver for verifying deep neural networks'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science