Follow
Shromona Ghosh
Shromona Ghosh
Graduate Student Researcher, University of California, Berkeley
Verified email at berkeley.edu - Homepage
Title
Cited by
Cited by
Year
Scenic: a language for scenario specification and scene generation
DJ Fremont, T Dreossi, S Ghosh, X Yue, AL Sangiovanni-Vincentelli, ...
Proceedings of the 40th ACM SIGPLAN conference on programming language …, 2019
2772019
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems
T Dreossi, DJ Fremont, S Ghosh, E Kim, H Ravanbakhsh, ...
International Conference on Computer Aided Verification, 432-442, 2019
2302019
Robust online monitoring of signal temporal logic
JV Deshmukh, A Donzé, S Ghosh, X Jin, G Juniwal, SA Seshia
Formal Methods in System Design 51, 5-30, 2017
2072017
Formal specification for deep neural networks
SA Seshia, A Desai, T Dreossi, DJ Fremont, S Ghosh, E Kim, ...
Automated Technology for Verification and Analysis: 16th International …, 2018
1172018
Bridging hamilton-jacobi safety analysis and reinforcement learning
JF Fisac, NF Lugovoy, V Rubies-Royo, S Ghosh, CJ Tomlin
2019 International Conference on Robotics and Automation (ICRA), 8550-8556, 2019
1072019
SOTER: a runtime assurance framework for programming safe robotics systems
A Desai, S Ghosh, SA Seshia, N Shankar, A Tiwari
2019 49th Annual IEEE/IFIP International Conference on Dependable Systems …, 2019
88*2019
Counterexample-guided data augmentation
T Dreossi, S Ghosh, X Yue, K Keutzer, A Sangiovanni-Vincentelli, ...
Proceedings of the Twenty-Seventh International Joint Conference on …, 2018
782018
Scenic: A language for scenario specification and data generation
DJ Fremont, E Kim, T Dreossi, S Ghosh, X Yue, ...
Machine Learning 112 (10), 3805-3849, 2023
632023
Systematic testing of convolutional neural networks for autonomous driving
T Dreossi, S Ghosh, A Sangiovanni-Vincentelli, SA Seshia
Reliable Machine Learning in the Wild (RMLW) Workshop at International …, 2017
592017
Diagnosis and repair for synthesis from signal temporal logic specifications
S Ghosh, D Sadigh, P Nuzzo, V Raman, A Donzé, ...
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
572016
Verifying Controllers Against Adversarial Examples with Bayesian Optimization
S Ghosh, F Berkenkamp, G Ranade, S Qadeer, A Kapoor
IEEE International Conference on Robotics and Automation, (ICRA) 2018 …, 2018
562018
Reachability-based safety guarantees using efficient initializations
SL Herbert, S Bansal, S Ghosh, CJ Tomlin
2019 IEEE 58th Conference on Decision and Control (CDC), 4810-4816, 2019
442019
A Formalization of Robustness for Deep Neural Networks
T Dreossi, S Ghosh, A Sangiovanni-Vincentelli, SA Seshia
AAAI Spring Symposium on Verification of Neural Networks 2019, 2019
322019
Counterexample-guided synthesis of perception models and control
S Ghosh, YV Pant, H Ravanbakhsh, SA Seshia
2021 American Control Conference (ACC), 3447-3454, 2021
172021
A minimum discounted reward hamilton-jacobi formulation for computing reachable sets
AK Akametalu, S Ghosh, JF Fisac, CJ Tomlin
arXiv preprint arXiv:1809.00706, 2018
162018
Time-series learning using monotonic logical properties
M Vazquez-Chanlatte, S Ghosh, JV Deshmukh, A Sangiovanni-Vincentelli, ...
Runtime Verification: 18th International Conference, RV 2018, Limassol …, 2018
152018
A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics
S Ghosh, S Bansal, A Sangiovanni-Vincentelli, SA Seshia, CJ Tomlin
22nd ACM International Conference on Hybrid Systems: Computation and Control …, 2019
142019
Generating dominant strategies for continuous two-player zero-sum games
MJ Vazquez-Chanlatte, S Ghosh, V Raman, A Sangiovanni-Vincentelli, ...
IFAC-PapersOnLine 51 (16), 7-12, 2018
42018
Context-specific validation of data-driven models
S Bansal, S Ghosh, A Sangiovanni-Vincentelli, SA Seshia, CJ Tomlin
arXiv preprint arXiv:1802.04929, 2018
22018
3D Environment Modeling for Falsification and Beyond with Scenic 3.0
E Vin, S Kashiwa, M Rhea, DJ Fremont, E Kim, T Dreossi, S Ghosh, X Yue, ...
International Conference on Computer Aided Verification, 253-265, 2023
12023
The system can't perform the operation now. Try again later.
Articles 1–20