| 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 | 155* | 2019 |
| 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 (1), 5-30, 2017 | 144 | 2017 |
| 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 | 125* | 2019 |
| Formal specification for deep neural networks SA Seshia, A Desai, T Dreossi, DJ Fremont, S Ghosh, E Kim, ... International Symposium on Automated Technology for Verification and …, 2018 | 76 | 2018 |
| 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 | 54 | 2018 |
| 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 | 50* | 2019 |
| 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 | 49 | 2019 |
| 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 | 48 | 2016 |
| 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 | 47 | 2017 |
| 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 | 41 | 2018 |
| 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 | 25 | 2019 |
| 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 | 22 | 2019 |
| Scenic: A language for scenario specification and data generation DJ Fremont, E Kim, T Dreossi, S Ghosh, X Yue, ... Machine Learning, 1-45, 2022 | 15 | 2022 |
| 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 | 13 | 2018 |
| 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 | 12 | 2019 |
| Time-series learning using monotonic logical properties M Vazquez-Chanlatte, S Ghosh, JV Deshmukh, A Sangiovanni-Vincentelli, ... International Conference on Runtime Verification, 389-405, 2018 | 11 | 2018 |
| Counterexample-guided synthesis of perception models and control S Ghosh, YV Pant, H Ravanbakhsh, SA Seshia 2021 American Control Conference (ACC), 3447-3454, 2021 | 7 | 2021 |
| 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 | 5 | 2018 |
| Context-specific validation of data-driven models S Bansal, S Ghosh, A Sangiovanni-Vincentelli, SA Seshia, CJ Tomlin arXiv preprint arXiv:1802.04929, 2018 | 1 | 2018 |
| Solicitation of nanoparticles/fluids in solar thermal energy harvesting: a review K Mausam, S Kumar, SS Ghosh, AK Tiwari, M Sehgal TIDEE: TERI Information Digest on Energy and Environment 20 (1), 59-59, 2021 | | 2021 |
Sanjit A. SeshiaUniversity of California, BerkeleyVerified email at eecs.berkeley.edu
