| 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 | 309 | 2019 |
| 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 | 244 | 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, 5-30, 2017 | 213 | 2017 |
| 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 | 130 | 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 | 119 | 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 | 92* | 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 | 80 | 2018 |
| 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 | 77 | 2023 |
| 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 | 60 | 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 | 59 | 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 | 58 | 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 | 45 | 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 | 33 | 2019 |
| Counterexample-guided synthesis of perception models and control S Ghosh, YV Pant, H Ravanbakhsh, SA Seshia 2021 American Control Conference (ACC), 3447-3454, 2021 | 18 | 2021 |
| 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 | 16 | 2018 |
| 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 | 15 | 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 | 14 | 2019 |
| 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 | 4 | 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 | 2 | 2018 |
| A Minimum Discounted Reward Hamilton-Jacobi Formulation for Computing Reachable Sets AK Akametalu, S Ghosh, JF Fisac, V Rubies-Royo, CJ Tomlin IEEE Transactions on Automatic Control, 2023 | 1 | 2023 |
Sanjit A. SeshiaProfessor of EECS, University of California, Berkeley在 eecs.berkeley.edu 的电子邮件经过验证
