Shromona Ghosh

University of California, Berkeley — United States

Computer Science · Physical Sciences

12h-index854citations31works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(14), Adversarial Robustness in Machine Learning(11), Software Testing and Debugging Techniques(9), Advanced Control Systems Optimization(5), Model-Driven Software Engineering Techniques(4)

Publications31 total

A Minimum Discounted Reward Hamilton–Jacobi Formulation for Computing Reachable Sets
IEEE Transactions on Automatic Control·2023· 12 cited
3D Environment Modeling for Falsification and Beyond with Scenic 3.0
arXiv (Cornell University)·2023· 1 citedOpen Access
3D Environment Modeling for Falsification and Beyond with Scenic 3.0
Lecture notes in computer science·2023· 13 citedOpen Access
Scenic: a language for scenario specification and data generation
Machine Learning·2022· 79 citedOpen Access
Counterexample-Guided Synthesis of Perception Models and Control
2021· 1 citedOpen Access
Scenic: A Language for Scenario Specification and Data Generation
arXiv (Cornell University)·2020· 14 citedOpen Access
Reachability-Based Safety Guarantees using Efficient Initializations
2019· 2 citedOpen Access
SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems
2019· 5 citedOpen Access
Bridging Hamilton-Jacobi Safety Analysis and Reinforcement Learning
2019· 85 cited
A Formalization of Robustness for Deep Neural Networks
arXiv (Cornell University)·2019· 16 citedOpen Access
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
arXiv (Cornell University)·2019· 12 citedOpen Access
Oracle-Guided Design and Analysis of Learning-Based Cyber-Physical Systems
eScholarship (California Digital Library)·2019Open Access
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems
Lecture notes in computer science·2019· 187 citedOpen Access
Scenic: Language-Based Scene Generation.
arXiv (Cornell University)·2018· 22 citedOpen Access
A Minimum Discounted Reward Hamilton-Jacobi Formulation for Computing Reachable Sets
arXiv (Cornell University)·2018· 1 citedOpen Access
SOTER: Programming Safe Robotics System using Runtime Assurance.
2018· 7 cited
SOTER: A Runtime Assurance Framework for Programming Safe Robotics\n Systems
arXiv (Cornell University)·2018Open Access
Counterexample-Guided Data Augmentation
2018· 12 citedOpen Access
Context-Specific Validation of Data-Driven Models
arXiv (Cornell University)·2018· 1 citedOpen Access
Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games
IFAC-PapersOnLine·2018· 3 citedOpen Access
page 1 of 2Next →

Frequent Co-authors

Sanjit A. Seshia(24), Alberto Sangiovanni‐Vincentelli(16), Tommaso Dreossi(12), Daniel J. Fremont(8), Xiangyu Yue(7), Marcell Vazquez-Chanlatte(6), Edward Kim(5), Alexandre Donzé(5), Claire J. Tomlin(5), Vasumathi Raman(5), Hadi Ravanbakhsh(3), Jyotirmoy V. Deshmukh(3), Ankush Desai(3), Jaime F. Fisac(3), Dorsa Sadigh(3), Pierluigi Nuzzo(3), S. Shankar Sastry(3), Xiaoqing Jin(2), Garvit Juniwal(2), Vicenç Rubies-Royo(2)