Sotabase

Career

· Technical Director, SRI International

Publications (140)

Oracle-guided component-based program synthesis
2010 ACM/IEEE 32nd International Conference on Software Engineering · 2010
570
cited
Synthesis of loop-free programs
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2011
362
cited
Output Range Analysis for Deep Feedforward Neural Networks
NASA Formal Methods · 2018
293
cited
A theory of formal synthesis via inductive learning
Acta Informatica · 2015
132
cited
Randomization Based Probabilistic Approach to Detect Trojan Circuits
2008 11th IEEE High Assurance Systems Engineering Symposium · 2008
125
cited
Output Range Analysis for Deep Neural Networks
arXiv.org · 2017
123
cited
TrojDRL: Evaluation of Backdoor Attacks on Deep Reinforcement Learning
Design Automation Conference · 2020
102
cited
Learning Certified Control using Contraction Metric
Conference on Robot Learning · 2020
95
cited
Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic
International Conference on Computer Aided Verification · 2009
87
cited
TeLEx: Passive STL Learning Using Only Positive Examples
Runtime Verification · 2017
84
cited
Learning Task Specifications from Demonstrations
Neural Information Processing Systems · 2017
77
cited
Learning and Verification of Feedback Control Systems using Feedforward Neural Networks
IFAC Conference on Analysis and Design of Hybrid Systems · 2018
73
cited
Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic
Journal of automated reasoning · 2017
70
cited
Attribution-Based Confidence Metric For Deep Neural Networks
Neural Information Processing Systems · 2019
64
cited
Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting
International Conference on Applied Algorithms · 2023
62
cited
TrojDRL: Trojan Attacks on Deep Reinforcement Learning Agents
arXiv.org · 2019
60
cited
A Risk-Sensitive Finite-Time Reachability Approach for Safety of Stochastic Dynamic Systems
American Control Conference · 2019
56
cited
Synthesizing switching logic for safety and dwell-time requirements
International Conference on Cyber-Physical Systems · 2010
54
cited
iDECODe: In-distribution Equivariance for Conformal Out-of-distribution Detection
AAAI Conference on Artificial Intelligence · 2022
52
cited
Sherlock - A tool for verification of neural network feedback systems: demo abstract
International Conference on Hybrid Systems: Computation and Control · 2019
52
cited
Sotabase
Susmit Jha | Researcher Profile | Sotabase | Sotabase