Seguir
Susmit Jha
Susmit Jha
Director, Neurosymbolic Computing and Intelligence, SRI International
Email confirmado em sri.com - Página inicial
Título
Citado por
Citado por
Ano
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
6172010
Synthesis of loop-free programs
S Gulwani, S Jha, A Tiwari, R Venkatesan
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
4342011
Output range analysis for deep feedforward neural networks
S Dutta, S Jha, S Sankaranarayanan, A Tiwari
NASA Formal Methods Symposium, 121-138, 2018
3602018
Randomization based probabilistic approach to detect trojan circuits
S Jha, SK Jha
2008 11th IEEE High Assurance Systems Engineering Symposium, 117-124, 2008
1672008
A theory of formal synthesis via inductive learning
S Jha, SA Seshia
Acta Informatica 54, 693-726, 2017
1512017
Output range analysis for deep neural networks
S Dutta, S Jha, S Sanakaranarayanan, A Tiwari
arXiv preprint arXiv:1709.09130, 2017
1182017
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
1112009
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
108*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
832018
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
792018
Learning certified control using contraction metric
D Sun, S Jha, C Fan
Conference on Robot Learning, 1519-1539, 2021
722021
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
702019
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
702018
The ELFIN mission
V Angelopoulos, E Tsai, L Bingley, C Shaffer, DL Turner, A Runov, W Li, ...
Space science reviews 216, 1-45, 2020
682020
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
642010
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
572019
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
532018
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
502019
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
472019
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
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20