| 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 | 60 | 2017 |
| 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 | 28 | 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 | 24 | 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 | 23 | 2017 |
| Search for a singly produced third-generation scalar leptoquark decaying to a τ lepton and a bottom quark in proton-proton collisions at TeV AM Sirunyan, A Tumasyan, W Adam, F Ambrogi, E Asilar, T Bergauer, ... Journal of High Energy Physics 2018 (7), 115, 2018 | 21 | 2018 |
| 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 | 20 | 2018 |
| 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 | 19* | 2019 |
| 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 | 12 | 2018 |
| 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 | 6 | 2019 |
| 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 | 6 | 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 | 4 | 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 | 4 | 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 | 4 | 2018 |
| 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 | 4 | 2018 |
| SOTER: programming safe robotics system using runtime assurance A Desai, S Ghosh, SA Seshia, N Shankar, A Tiwari arXiv preprint arXiv:1808.07921, 2018 | 4 | 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 | 4 | 2018 |
| Search for MSSM Higgs bosons decaying to μ+ μ− in proton-proton collisions at s= 13TeV AM Sirunyan, A Tumasyan, W Adam, F Ambrogi, T Bergauer, ... Physics Letters B 798, 134992, 2019 | 2 | 2019 |
| Studies of Beauty Suppression via Nonprompt Mesons in Pb-Pb Collisions at AM Sirunyan, A Tumasyan, W Adam, F Ambrogi, E Asilar, T Bergauer, ... Physical review letters 123 (2), 022001, 2019 | 2 | 2019 |
| 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 | 2 | 2019 |
| Erratum to: Measurements of the production cross section and the branching fraction, and constraints on anomalous triple gauge couplings at AM Sirunyan, A Tumasyan, W Adam, F Ambrogi, E Asilar, T Bergauer, ... The European Physical Journal C 78 (6), 515, 2018 | 2 | 2018 |
Sanjit A. SeshiaUniversity of California, BerkeleyVerified email at eecs.berkeley.edu
