Taisa Kushner

Latest

• Sherlock : A Tool for Verification of Deep Neural Networks