Fingerprint
Dive into the research topics of 'Reluplex: An efficient smt solver for verifying deep neural networks'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Guy Katz, Clark Barrett, David L. Dill, Kyle Julian, Mykel J. Kochenderfer
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review