Susmit Jha

Susmit Jha, Sumit Kumar Jha, Christopher James Langmead, 2012, 2012 IEEE 2nd International Conference on Computational Advances in Bio and medical Sciences (ICCABS).

On voting machine design for verification and testability

Sanjit A. Seshia, Susmit Jha, David A. Wagner, 2009, CCS.

Synthesizing Switching Logic to Minimize Long-Run Cost pdf

Ashish Tiwari, Sanjit A. Seshia, Susmit Jha, 2011, ArXiv.

On the Computational Complexity of Satisfiability Solving for String Theories pdf

Sanjit A. Seshia, Susmit Jha, Rhishikesh Limaye, 2009, ArXiv.

Trusted Neural Networks for Safety-Constrained Autonomous Control pdf

Vinod Yegneswaran, Susmit Jha, Patrick Lincoln, 2018, ArXiv.

Component-based Synthesis Applied to Bitvector Programs

Sumit Gulwani, Ashish Tiwari, Susmit Jha, 2010 .

Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae

Susmit Jha, Vasumathi Raman, Alessandro Pinto, 2018, Journal of Automated Reasoning.

Learning Task Specifications from Demonstrations

Sanjit A. Seshia, Susmit Jha, Mark K. Ho, 2017, NeurIPS.

Detecting Trojaned DNNs Using Counterfactual Attributions pdf

Susmit Jha, Anirban Roy, Ajay Divakaran, 2020, ArXiv.

Game theoretic secure localization in wireless sensor networks

Krishnendu Chatterjee, Sanjit A. Seshia, Susmit Jha, 2014, 2014 International Conference on the Internet of Things (IOT).

Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems

Natarajan Shankar, Susmit Jha, Sumit Kumar Jha, 2018, FORMATS.

Data Efficient Learning of Robust Control Policies

Susmit Jha, Patrick Lincoln, P. Lincoln, 2018, Allerton Conference on Communication, Control, and Computing.

Optimizing mobile display brightness by leveraging human visual perception

Susmit Jha, Michael Kishinevsky, Gokhan Memik, 2015, 2015 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES).

Synthesis of insulin pump controllers from safety specifications using Bayesian model validation

Susmit Jha, Sumit Kumar Jha, Christopher James Langmead, 2012, Int. J. Bioinform. Res. Appl..

NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou, 2020, NFM.

Toward an Internet of Battlefield Things: A Resilience Perspective

Paulo Tabuada, Suhas Diggavi, Ananthram Swami, 2018, Computer.

Synthesizing switching logic for safety and dwell-time requirements

Sumit Gulwani, Ashish Tiwari, Sanjit A. Seshia, 2010, ICCPS '10.

Trust, Resilience and Interpretability of AI Models

Susmit Jha, 2019, NSV@CAV.

Attribution-Based Confidence Metric For Deep Neural Networks

Somesh Jha, Susmit Jha, Sumit Kumar Jha, 2019, NeurIPS.

TrojDRL: Evaluation of Backdoor Attacks on Deep Reinforcement Learning

Susmit Jha, Wenchao Li, Kacper Wardega, 2020, 2020 57th ACM/IEEE Design Automation Conference (DAC).

Oracle-guided component-based program synthesis

Sumit Gulwani, Ashish Tiwari, Sanjit A. Seshia, 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.

Machine Learning for Automated Synthesis of Complex Software

Susmit Jha, 2012 .

Inferring and Conveying Intentionality: Beyond Numerical Rewards to Logical Intentions

Susmit Jha, John Rushby, J. Rushby, 2022, AAAI Spring Symposium: Towards Conscious AI Systems.

TeLEx: Passive STL Learning Using Only Positive Examples

Ashish Tiwari, Natarajan Shankar, Sanjit A. Seshia, 2017, RV.

Towards Automated System Synthesis Using SCIDUCTION

Susmit Jha, Susmit Jha, 2012 .

On Learning Sparse Boolean Formulae for Explaining AI Decisions

Susmit Jha, Vasumathi Raman, Alessandro Pinto, 2017, NFM.

CAPED: Context-aware personalized display brightness for mobile devices

Susmit Jha, Michael Kishinevsky, Gokhan Memik, 2014, 2014 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES).

SWATI: Synthesizing Wordlengths Automatically Using Testing and Induction pdf

Sanjit A. Seshia, Susmit Jha, 2013, ArXiv.

TeLEx: learning signal temporal logic from positive examples using tightness metric

Ashish Tiwari, Natarajan Shankar, Sanjit A. Seshia, 2019, Formal Methods Syst. Des..

Sherlock - A tool for verification of neural network feedback systems: demo abstract

Ashish Tiwari, Sriram Sankaranarayanan, Susmit Jha, 2019, HSCC.

Discovering rare behaviours in stochastic differential equations using decision procedures: applications to a minimal cell cycle model

Susmit Jha, Sumit Kumar Jha, Christopher James Langmead, 2014, Int. J. Bioinform. Res. Appl..

Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms pdf

Susmit Jha, Tuhin Sahai, Anurag Mishra, 2019, AAAI.

Model, Data and Reward Repair: Trusted Machine Learning for Markov Decision Processes

Ashish Tiwari, Susmit Jha, Xiaojin Zhu, 2018, 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W).

Learning Certified Control using Contraction Metric pdf

Susmit Jha, Dawei Sun, Chuchu Fan, 2020, CoRL.

Synthesis of optimal switching logic for hybrid systems

Ashish Tiwari, Sanjit A. Seshia, Susmit Jha, 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks

Sanjit A. Seshia, Susmit Jha, Vasumathi Raman, 2016, 2016 Formal Methods in Computer-Aided Design (FMCAD).

Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions in Model Checking

Susmit Jha, Sumit Kumar Jha, 2008, 2008 11th IEEE High Assurance Systems Engineering Symposium.

Output Range Analysis for Deep Neural Networks pdf

Ashish Tiwari, Sriram Sankaranarayanan, Susmit Jha, 2017, ArXiv.

On Need for Topology Awareness of Generative Models pdf

Somesh Jha, Susmit Jha, Uyeong Jang, 2019, ArXiv.

Randomization Based Probabilistic Approach to Detect Trojan Circuits

Susmit Jha, Sumit Kumar Jha, Susmit Jha, 2008, 2008 11th IEEE High Assurance Systems Engineering Symposium.

TrojDRL: Trojan Attacks on Deep Reinforcement Learning Agents pdf

Wenchao Li, Susmit Jha, Kacper Wardega, 2019, ArXiv.

Learning and Verification of Feedback Control Systems using Feedforward Neural Networks

Ashish Tiwari, Sriram Sankaranarayanan, Susmit Jha, 2018, ADHS.

Correction to: NASA Formal Methods

Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou, 2020, NASA Formal Methods.

Proceedings 3rd Workshop on Synthesis

Krishnendu Chatterjee, Susmit Jha, Rudiger Ehlers, 2014 .

Parameter discovery for stochastic biological models against temporal behavioral specifications using an SPRT based Metric for simulated annealing

Susmit Jha, Sumit Kumar Jha, Christopher James Langmead, 2012, 2012 IEEE 2nd International Conference on Computational Advances in Bio and medical Sciences (ICCABS).

Automating Security Mediation Placement

Somesh Jha, Trent Jaeger, Sanjit A. Seshia, 2010, ESOP.

An Extension of Fano's Inequality for Characterizing Model Susceptibility to Membership Inference Attacks pdf

Susmit Jha, Alvaro Velasquez, Sumit Kumar Jha, 2020, ArXiv.

On Smoother Attributions using Neural Stochastic Differential Equations

Susmit Jha, Alvaro Velasquez, Sumit Kumar Jha, 2021, IJCAI.

MISA: Online Defense of Trojaned Models using Misattributions

Susmit Jha, Panagiota Kiourti, Wenchao Li, 2021, ACSAC.

iDECODe: In-distribution Equivariance for Conformal Out-of-distribution Detection pdf

Susmit Jha, Oleg Sokolsky, Edgar Dobriban, 2022, AAAI.

Trigger Hunting with a Topological Prior for Trojan Detection pdf

Susmit Jha, Yi Yao, Michael Cogswell, 2021, ArXiv.