Guy Katz, Clark W. Barrett, David L. Dill, Kyle Julian, Mykel J. Kochenderfer. Reluplex: a calculus for reasoning about deep neural networks. Formal Methods in System Design, 60(1):87-116, February 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.