Susmit Jha

According to our database1, Susmit Jha authored at least 42 papers between 2006 and 2019.

Collaborative distances:



In proceedings 
PhD thesis 





Sherlock - A tool for verification of neural network feedback systems: demo abstract.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Trust, Resilience and Interpretability of AI Models.
Proceedings of the Numerical Software Verification - 12th International Workshop, 2019

Inferring and Conveying Intentionality: Beyond Numerical Rewards to Logical Intentions.
Proceedings of the Papers of the 2019 Towards Conscious AI Systems Symposium co-located with the Association for the Advancement of Artificial Intelligence 2019 Spring Symposium Series (AAAI SSS-19), 2019

Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic.
J. Autom. Reasoning, 2018

Toward an Internet of Battlefield Things: A Resilience Perspective.
IEEE Computer, 2018

Learning Task Specifications from Demonstrations.
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Output Range Analysis for Deep Feedforward Neural Networks.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Detecting Adversarial Examples Using Data Manifolds.
Proceedings of the 2018 IEEE Military Communications Conference, 2018

Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

Model, Data and Reward Repair: Trusted Machine Learning for Markov Decision Processes.
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018

Data Efficient Learning of Robust Control Policies.
Proceedings of the 56th Annual Allerton Conference on Communication, 2018

Learning and Verification of Feedback Control Systems using Feedforward Neural Networks.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

Machine Learning and Formal Method (Dagstuhl Seminar 17351).
Dagstuhl Reports, 2017

A theory of formal synthesis via inductive learning.
Acta Inf., 2017

TeLEx: Passive STL Learning Using Only Positive Examples.
Proceedings of the Runtime Verification - 17th International Conference, 2017

On Learning Sparse Boolean Formulae for Explaining AI Decisions.
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Automated Synthesis of Safe Autonomous Vehicle Control Under Perception Uncertainty.
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

On Optimal Control of Stochastic Linear Hybrid Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks.
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

Optimizing mobile display brightness by leveraging human visual perception.
Proceedings of the 2015 International Conference on Compilers, 2015

Parameter discovery in stochastic biological models using simulated annealing and statistical model checking.
IJBRA, 2014

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

Are There Good Mistakes? A Theoretical Analysis of CEGIS.
Proceedings of the Proceedings 3rd Workshop on Synthesis, 2014

Game theoretic secure localization in wireless sensor networks.
Proceedings of the 4th International Conference on the Internet of Things, 2014

CAPED: Context-aware personalized display brightness for mobile devices.
Proceedings of the 2014 International Conference on Compilers, 2014

Synthesis of insulin pump controllers from safety specifications using Bayesian model validation.
IJBRA, 2012

Parameter discovery for stochastic biological models against temporal behavioral specifications using an SPRT based Metric for simulated annealing.
Proceedings of the IEEE 2nd International Conference on Computational Advances in Bio and Medical Sciences, 2012

Decision procedure based discovery of rare behaviors in Stochastic Differential Equation models of biological systems.
Proceedings of the IEEE 2nd International Conference on Computational Advances in Bio and Medical Sciences, 2012

Towards Automated System Synthesis Using SCIDUCTION.
PhD thesis, 2011

Synthesis of loop-free programs.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Synthesis of optimal switching logic for hybrid systems.
Proceedings of the 11th International Conference on Embedded Software, 2011

Oracle-guided component-based program synthesis.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Synthesizing switching logic for safety and dwell-time requirements.
Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

Automating Security Mediation Placement.
Proceedings of the Programming Languages and Systems, 2010

Localizing transient faults using dynamic bayesian networks.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2009

On voting machine design for verification and testability.
Proceedings of the 2009 ACM Conference on Computer and Communications Security, 2009

Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions in Model Checking.
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

Randomization Based Probabilistic Approach to Detect Trojan Circuits.
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

Symbolic Reachability Analysis of Lazy Linear Hybrid Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

Adapting Biochemical Kripke Structures for Distributed Model Checking.
, 2006