Susmit Jha
SRI International(US)Florida International University(US)Sri Sri University(IN)Menlo School(US)Scottsdale Research Institute (United States)(US)
Publications by Year
Research Areas
Adversarial Robustness in Machine Learning, Formal Methods in Verification, Machine Learning and Algorithms, Anomaly Detection Techniques and Applications, Explainable Artificial Intelligence (XAI)
Most-Cited Works
- → Oracle-guided component-based program synthesis(2010)472 cited
- → Output Range Analysis for Deep Feedforward Neural Networks(2018)290 cited
- → Synthesis of loop-free programs(2011)241 cited
- → Randomization Based Probabilistic Approach to Detect Trojan Circuits(2008)122 cited
- → A theory of formal synthesis via inductive learning(2017)99 cited
- → Output Range Analysis for Deep Neural Networks(2017)75 cited
- → Learning and Verification of Feedback Control Systems using Feedforward Neural Networks