팔로우
Susmit Jha
Susmit Jha
Director, Neurosymbolic Computing and Intelligence, SRI International
sri.com의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
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
5982010
Synthesis of loop-free programs
S Gulwani, S Jha, A Tiwari, R Venkatesan
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
4302011
Output range analysis for deep feedforward neural networks
S Dutta, S Jha, S Sankaranarayanan, A Tiwari
NASA Formal Methods Symposium, 121-138, 2018
3412018
Randomization based probabilistic approach to detect trojan circuits
S Jha, SK Jha
2008 11th IEEE High Assurance Systems Engineering Symposium, 117-124, 2008
1662008
A theory of formal synthesis via inductive learning
S Jha, SA Seshia
Acta Informatica 54, 693-726, 2017
1472017
Output range analysis for deep neural networks
S Dutta, S Jha, S Sanakaranarayanan, A Tiwari
arXiv preprint arXiv:1709.09130, 2017
1112017
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
1102009
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
98*2020
Learning task specifications from demonstrations
M Vazquez-Chanlatte, S Jha, A Tiwari, MK Ho, S Seshia
Advances in neural information processing systems 31, 2018
812018
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
782018
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
692019
Learning certified control using contraction metric
D Sun, S Jha, C Fan
Conference on Robot Learning, 1519-1539, 2021
682021
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
662010
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
632018
The ELFIN mission
V Angelopoulos, E Tsai, L Bingley, C Shaffer, DL Turner, A Runov, W Li, ...
Space science reviews 216, 1-45, 2020
562020
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
542019
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
472018
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
462019
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
462019
Synthesis of optimal switching logic for hybrid systems
S Jha, SA Seshia, A Tiwari
Embedded Software (EMSOFT), 2011 Proceedings of the International Conference …, 2011
412011
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20