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 解决的主要问题 在安全性很高的系统

>>阅读原文<<