Reluplex代碼閱讀

本文來源：Reluplex: An Efficient SMT Solver for Verifying Deep Neural Work Guy Katz, Clark Barrett, David L. Dill, Kyle Julian, and Mykel J. Kochenderfer Stanford University, Stanford USA 解決的主要問題 在安全性很高的系統

>>阅读原文<<