Shromona Ghosh

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 34

Top Topics

Mazurkiewicz Traces

Artificial Intelligence

Top Venues

Publications

Anayo K. Akametalu, Shromona Ghosh, Jaime F. Fisac, Vicenc Rubies-Royo, Claire J. Tomlin
A Minimum Discounted Reward Hamilton-Jacobi Formulation for Computing Reachable Sets. IEEE Trans. Autom. Control. 69 (2) (2024)
Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
3D Environment Modeling for Falsification and Beyond with Scenic 3.0. CoRR (2023)
Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
3D Environment Modeling for Falsification and Beyond with Scenic 3.0. CAV (1) (2023)
Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Scenic: a language for scenario specification and data generation. Mach. Learn. 112 (10) (2023)
Shromona Ghosh, Yash Vardhan Pant, Hadi Ravanbakhsh, Sanjit A. Seshia
Counterexample-Guided Synthesis of Perception Models and Control. ACC (2021)
Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Scenic: A Language for Scenario Specification and Data Generation. CoRR (2020)
Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Scenic: a language for scenario specification and scene generation. PLDI (2019)
Shromona Ghosh, Somil Bansal, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Claire J. Tomlin
A new simulation metric to determine safe environments and controllers for systems with unknown dynamics. HSCC (2019)
Sylvia L. Herbert, Somil Bansal, Shromona Ghosh, Claire J. Tomlin
Reachability-Based Safety Guarantees using Efficient Initializations. CDC (2019)
Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
A Formalization of Robustness for Deep Neural Networks. CoRR (2019)
Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari
SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems. DSN (2019)
Sylvia L. Herbert, Shromona Ghosh, Somil Bansal, Claire J. Tomlin
Reachability-Based Safety Guarantees using Efficient Initializations. CoRR (2019)
Jaime F. Fisac, Neil F. Lugovoy, Vicenç Rúbies Royo, Shromona Ghosh, Claire J. Tomlin
Bridging Hamilton-Jacobi Safety Analysis and Reinforcement Learning. ICRA (2019)
Shromona Ghosh, Somil Bansal, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Claire J. Tomlin
A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics. CoRR (2019)
Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems. CoRR (2019)
Shromona Ghosh, Hadi Ravanbakhsh, Sanjit A. Seshia
Counterexample-Guided Synthesis of Perception Models and Control. CoRR (2019)
Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems. CAV (1) (2019)
Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari
SOTER: Programming Safe Robotics System using Runtime Assurance. CoRR (2018)
Shromona Ghosh, Felix Berkenkamp, Gireeja Ranade, Shaz Qadeer, Ashish Kapoor
Verifying Controllers Against Adversarial Examples with Bayesian Optimization. ICRA (2018)
Anayo K. Akametalu, Shromona Ghosh, Jaime F. Fisac, Claire J. Tomlin
A Minimum Discounted Reward Hamilton-Jacobi Formulation for Computing Reachable Sets. CoRR (2018)
Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Time Series Learning using Monotonic Logical Properties. CoRR (2018)
Marcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games. ADHS (2018)
Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Time-Series Learning Using Monotonic Logical Properties. RV (2018)
Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Sumukh Shivakumar, Marcell Vazquez-Chanlatte, Xiangyu Yue
Formal Specification for Deep Neural Networks. ATVA (2018)
Somil Bansal, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Claire J. Tomlin
Context-Specific Validation of Data-Driven Models. CoRR (2018)
Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Counterexample-Guided Data Augmentation. CoRR (2018)
Daniel J. Fremont, Xiangyu Yue, Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Scenic: Language-Based Scene Generation. CoRR (2018)
Shromona Ghosh, Felix Berkenkamp, Gireeja Ranade, Shaz Qadeer, Ashish Kapoor
Verifying Controllers Against Adversarial Examples with Bayesian Optimization. CoRR (2018)
Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Counterexample-Guided Data Augmentation. IJCAI (2018)
Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia
Robust online monitoring of signal temporal logic. Formal Methods Syst. Des. 51 (1) (2017)
Marcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications. CoRR (2017)
Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Systematic Testing of Convolutional Neural Networks for Autonomous Driving. CoRR (2017)
Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donzé, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. HSCC (2016)
Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donzé, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. CoRR (2016)
Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia
Robust Online Monitoring of Signal Temporal Logic. CoRR (2015)
Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia
Robust Online Monitoring of Signal Temporal Logic. RV (2015)