Sagiv, Mooly

2 publications

IJCAI 2018 Core-Guided Minimal Correction Set and Core Enumeration Nina Narodytska, Nikolaj S. Bjørner, Maria-Cristina V. Marinescu, Mooly Sagiv

AAAI 2018 Verifying Properties of Binarized Deep Neural Networks Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh