Susmit Jha
Susmit Jha
Director, Neurosymbolic Computing and Intelligence, SRI International
Verified email at - Homepage
Cited by
Cited by
Oracle-guided component-based program synthesis
S Jha, S Gulwani, SA Seshia, A Tiwari
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010
Synthesis of loop-free programs
S Gulwani, S Jha, A Tiwari, R Venkatesan
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
Output range analysis for deep feedforward neural networks
S Dutta, S Jha, S Sankaranarayanan, A Tiwari
NASA Formal Methods Symposium, 121-138, 2018
Randomization based probabilistic approach to detect trojan circuits
S Jha, SK Jha
2008 11th IEEE High Assurance Systems Engineering Symposium, 117-124, 2008
A theory of formal synthesis via inductive learning
S Jha, SA Seshia
Acta Informatica 54, 693-726, 2017
Trojdrl: evaluation of backdoor attacks on deep reinforcement learning
P Kiourti, K Wardega, S Jha, W Li
2020 57th ACM/IEEE Design Automation Conference (DAC), 1-6, 2020
Output range analysis for deep neural networks
S Dutta, S Jha, S Sanakaranarayanan, A Tiwari
arXiv preprint arXiv:1709.09130, 2017
Beaver: Engineering an efficient smt solver for bit-vector arithmetic
S Jha, R Limaye, SA Seshia
Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009
Learning and verification of feedback control systems using feedforward neural networks
S Dutta, S Jha, S Sankaranarayanan, A Tiwari
IFAC-PapersOnLine 51 (16), 151-156, 2018
Learning task specifications from demonstrations
M Vazquez-Chanlatte, S Jha, A Tiwari, MK Ho, S Seshia
Advances in neural information processing systems 31, 2018
The ELFIN mission
V Angelopoulos, E Tsai, L Bingley, C Shaffer, DL Turner, A Runov, W Li, ...
Space science reviews 216, 1-45, 2020
Learning certified control using contraction metric
D Sun, S Jha, C Fan
Conference on Robot Learning, 1519-1539, 2021
Safe autonomy under perception uncertainty using chance-constrained temporal logic
S Jha, V Raman, D Sadigh, SA Seshia
Journal of Automated Reasoning 60, 43-62, 2018
Attribution-based confidence metric for deep neural networks
S Jha, S Raj, S Fernandes, SK Jha, S Jha, B Jalaian, G Verma, A Swami
Advances in Neural Information Processing Systems 32, 2019
Shelf-life and kinetics of quality change of dried pomegranate arils in flexible packaging
M Dak, VR Sagar, SK Jha
Food Packaging and Shelf Life 2 (1), 1-6, 2014
Sherlock-a tool for verification of neural network feedback systems: demo abstract
S Dutta, X Chen, S Jha, S Sankaranarayanan, A Tiwari
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
Synthesizing switching logic for safety and dwell-time requirements
S Jha, S Gulwani, SA Seshia, A Tiwari
Proc. 1st ACM/IEEE Intl. Conf. on Cyber-Physical Systems, ICCPS, 22-31, 2010
Toward an internet of battlefield things: A resilience perspective
T Abdelzaher, N Ayanian, T Basar, S Diggavi, J Diesner, D Ganesan, ...
Computer 51 (11), 24-36, 2018
TeLEx: learning signal temporal logic from positive examples using tightness metric
S Jha, A Tiwari, SA Seshia, T Sahai, N Shankar
Formal Methods in System Design 54, 364-387, 2019
A risk-sensitive finite-time reachability approach for safety of stochastic dynamic systems
MP Chapman, J Lacotte, A Tamar, D Lee, KM Smith, V Cheng, JF Fisac, ...
2019 American Control Conference (ACC), 2958-2963, 2019
The system can't perform the operation now. Try again later.
Articles 1–20