☰

Susmit K. Jha, Ph.D. - Publications

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)
Tree Info Similar researchers PubMed Report error

7 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2019 Jha S, Sahai T, Raman V, Pinto A, Francis M. Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae Journal of Automated Reasoning. 63: 1055-1075. DOI: 10.1007/S10817-018-9499-8  0.346
2018 Abdelzaher T, Ayanian N, Basar T, Diggavi S, Diesner J, Ganesan D, Govindan R, Jha S, Lepoint T, Marlin B, Nahrstedt K, Nicol D, Rajkumar R, Russell S, Seshia S, et al. Toward an Internet of Battlefield Things: A Resilience Perspective Computer. 51: 24-36. DOI: 10.1109/Mc.2018.2876048  0.454
2018 Dutta S, Jha S, Sankaranarayanan S, Tiwari A. Learning and Verification of Feedback Control Systems using Feedforward Neural Networks Ifac-Papersonline. 51: 151-156. DOI: 10.1016/J.Ifacol.2018.08.026  0.33
2017 Jha S, Raman V, Sadigh D, Seshia SA. Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic Journal of Automated Reasoning. 60: 43-62. DOI: 10.1007/S10817-017-9413-9  0.509
2017 Jha S, Seshia SA. A theory of formal synthesis via inductive learning Acta Informatica. 54: 693-726. DOI: 10.1007/S00236-017-0294-5  0.495
2014 Hussain F, Jha SK, Jha S, Langmead CJ. Parameter discovery in stochastic biological models using simulated annealing and statistical model checking. International Journal of Bioinformatics Research and Applications. 10: 519-39. PMID 24989866 DOI: 10.1504/Ijbra.2014.062998  0.305
2012 Jha S. Machine Learning for Automated Synthesis of Complex Software Journal of Information Technology & Software Engineering. 2012: 1-2. DOI: 10.4172/2165-7866.1000E113  0.328
Show low-probability matches.