Susmit K. Jha, Ph.D.
Affiliations: | 2011 | Electrical Engineering & Computer Sciences | University of California, Berkeley, Berkeley, CA, United States |
Area:
Design, Modeling and Analysis (DMA); Programming Systems (PS); Dependable Computing; Computational Logic; Formal Methods; Control, Intelligent Systems, and Robotics (CIR); Security (SEC); Theory (THY)Google:
"Susmit Jha"Cross-listing: Robotree
Parents
Sign in to add mentor| Sanjit A. Seshia | grad student | 2011 | UC Berkeley | |
| (Towards Automated System Synthesis Using SCIDUCTION.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Jha S, Sahai T, Raman V, et al. (2019) Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae Journal of Automated Reasoning. 63: 1055-1075 |
| Abdelzaher T, Ayanian N, Basar T, et al. (2018) Toward an Internet of Battlefield Things: A Resilience Perspective Computer. 51: 24-36 |
| Dutta S, Jha S, Sankaranarayanan S, et al. (2018) Learning and Verification of Feedback Control Systems using Feedforward Neural Networks Ifac-Papersonline. 51: 151-156 |
| Jha S, Raman V, Sadigh D, et al. (2017) Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic Journal of Automated Reasoning. 60: 43-62 |
| Jha S, Seshia SA. (2017) A theory of formal synthesis via inductive learning Acta Informatica. 54: 693-726 |
| Hussain F, Jha SK, Jha S, et al. (2014) Parameter discovery in stochastic biological models using simulated annealing and statistical model checking. International Journal of Bioinformatics Research and Applications. 10: 519-39 |
| Jha S. (2012) Machine Learning for Automated Synthesis of Complex Software Journal of Information Technology & Software Engineering. 2012: 1-2 |