Ashish Tiwari

Latest

• Sherlock : A Tool for Verification of Deep Neural Networks
• TeLEx: learning signal temporal logic from positive examples using tightness metric
• Learning Task Specifications from Demonstrations
• Learning and Verification of Feedback Control Systems using Feedforward Neural Networks
• Output range analysis for deep neural networks