Ryzhyk, Leonid

2 publications

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

AAAI 2015 SAT-Based Strategy Extraction in Reachability Games Niklas Eén, Alexander Legg, Nina Narodytska, Leonid Ryzhyk