| 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 | 92 | 2017 |
| 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 | 47* | 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 | 36 | 2018 |
| 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 | 35 | 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 | 33 | 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 | 33 | 2016 |
| 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 | 31 | 2018 |
| 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 | 18 | 2018 |
| 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 | 16 | 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 | 12 | 2019 |
| 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 | 11 | 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 | 9 | 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 | 8 | 2019 |
| 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 | 8 | 2018 |
| VERIFAI: A toolkit for the design and analysis of artificial intelligence-based systems T Dreossi, DJ Fremont, S Ghosh, E Kim, H Ravanbakhsh, ... arXiv preprint arXiv:1902.04245, 2019 | 7 | 2019 |
| Soter: programming safe robotics system using runtime assurance A Desai, S Ghosh, SA Seshia, N Shankar, A Tiwari arXiv preprint arXiv:1808.07921, 2018 | 6 | 2018 |
| 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 |
| 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 | 4 | 2019 |
| A deep neural network for simultaneous estimation of b jet energy and resolution AM Sirunyan, A Tumasyan, W Adam, F Ambrogi, T Bergauer, ... Computing and software for big science 4 (1), 1-20, 2020 | 1 | 2020 |
| Scenic: A Language for Scenario Specification and Data Generation DJ Fremont, E Kim, T Dreossi, S Ghosh, X Yue, ... arXiv preprint arXiv:2010.06580, 2020 | 1 | 2020 |
Sanjit A. SeshiaUniversity of California, BerkeleyVerified email at eecs.berkeley.edu
