Ghosh, Shromona

1. SOTER: A Runtime Assurance Framework for Programming Safe Robotics\n Systems
   2018/08/23 by Desai Ankush, Ankush Desai, Shromona Ghosh +9 · 1 voice · 7 citations
   Computer Science · Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Programming Languages (cs.PL) #Robotics (cs.RO) #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #Systems and Control (eess.SY) #cs.AI #cs.PL #cs.RO #cs.SE #eess.SY #electronic engineering #information engineering
2. Scenic: A Language for Scenario Specification and Data Generation
   2020/10/13 by Daniel J. Fremont, Edward Kim, Fremont, Daniel J. +11 · 10 citations
   Engineering · Computer Science · #Autonomous Vehicle Technology and Safety #Software Testing and Debugging Techniques #Machine Learning and Data Classification
3. Robust Online Monitoring of Signal Temporal Logic
   2015/06/26 by Deshmukh, Jyotirmoy V., Donzé, Alexandre, Ghosh, Shromona +3 · 6 citations
   #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
4. Reachability-Based Safety Guarantees using Efficient Initializations
   2019/03/18 by Herbert, Sylvia L., Ghosh, Shromona, Bansal, Somil +1 · 3 citations
   #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
5. 3D Environment Modeling for Falsification and Beyond with Scenic 3.0
   2023/07/06 by Eric Vin, Shun Kashiwa, Vin, Eric +17 · 4 citations
   Computer Science · Decision Sciences · Engineering · #3D Modeling in Geospatial Applications #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Programming Languages (cs.PL) #Simulation Techniques and Applications
6. Counterexample-Guided Data Augmentation
   2018/05/17 by Dreossi, Tommaso, Ghosh, Shromona, Yue, Xiangyu +3 · 2 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
7. A Minimum Discounted Reward Hamilton-Jacobi Formulation for Computing Reachable Sets
   2018/09/03 by Akametalu, Anayo K., Ghosh, Shromona, Fisac, Jaime F. +1 · 1 citation
   #FOS: Computer and information sciences #FOS: Mathematics #Optimization and Control (math.OC) #Robotics (cs.RO)
8. A Formalization of Robustness for Deep Neural Networks
   2019/03/24 by Dreossi, Tommaso, Ghosh, Shromona, Sangiovanni-Vincentelli, Alberto +1 · 1 citation
   #FOS: Computer and information sciences #Machine Learning (cs.LG)
9. VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
   2019/02/12 by Dreossi, Tommaso, Fremont, Daniel J., Ghosh, Shromona +4 · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
10. Systematic Testing of Convolutional Neural Networks for Autonomous\n Driving
    2017/08/10 by Tommaso Dreossi, Dreossi, Tommaso, Shromona Ghosh +5 · 1 citation
    Computer Science · Engineering · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Artificial Intelligence (cs.AI) #Autonomous Vehicle Technology and Safety #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences