Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. - Shromona Ghosh; Dorsa Sadigh; Pierluigi Nuzzo 002; Vasumathi Raman; Alexandre Donzé; Alberto L. Sangiovanni-Vincentelli; S. Shankar Sastry; Sanjit A. Seshia (HSCC, 2016)

Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications. - Marcell Vazquez-Chanlatte; Shromona Ghosh; Vasumathi Raman; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (CoRR, 2017)

Systematic Testing of Convolutional Neural Networks for Autonomous Driving. - Tommaso Dreossi; Shromona Ghosh; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (CoRR, 2017)

Robust online monitoring of signal temporal logic. - Jyotirmoy V. Deshmukh; Alexandre Donzé; Shromona Ghosh; Xiaoqing Jin; Garvit Juniwal; Sanjit A. Seshia (Formal Methods Syst. Des., 2017)

Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games. - Marcell Vazquez-Chanlatte; Shromona Ghosh; Vasumathi Raman; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (ADHS, 2018)

Formal Specification for Deep Neural Networks. - Sanjit A. Seshia; Ankush Desai; Tommaso Dreossi; Daniel J. Fremont; Shromona Ghosh; Edward Kim 005; Sumukh Shivakumar; Marcell Vazquez-Chanlatte; Xiangyu Yue 001 (ATVA, 2018)

Verifying Controllers Against Adversarial Examples with Bayesian Optimization. - Shromona Ghosh; Felix Berkenkamp; Gireeja Ranade; Shaz Qadeer; Ashish Kapoor (ICRA, 2018)

Counterexample-Guided Data Augmentation. - Tommaso Dreossi; Shromona Ghosh; Xiangyu Yue 001; Kurt Keutzer; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (IJCAI, 2018)

Time-Series Learning Using Monotonic Logical Properties. - Marcell Vazquez-Chanlatte; Shromona Ghosh; Jyotirmoy V. Deshmukh; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (RV, 2018)

Context-Specific Validation of Data-Driven Models. - Somil Bansal; Shromona Ghosh; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; Claire J. Tomlin (CoRR, 2018)

SOTER: Programming Safe Robotics System using Runtime Assurance. - Ankush Desai; Shromona Ghosh; Sanjit A. Seshia; Natarajan Shankar; Ashish Tiwari 001 (CoRR, 2018)

A Minimum Discounted Reward Hamilton-Jacobi Formulation for Computing Reachable Sets. - Anayo K. Akametalu; Shromona Ghosh; Jaime F. Fisac; Claire J. Tomlin (CoRR, 2018)

Scenic: Language-Based Scene Generation. - Daniel J. Fremont; Xiangyu Yue 001; Tommaso Dreossi; Shromona Ghosh; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (CoRR, 2018)

VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems. - Tommaso Dreossi; Daniel J. Fremont; Shromona Ghosh; Edward Kim 005; Hadi Ravanbakhsh; Marcell Vazquez-Chanlatte; Sanjit A. Seshia (CAV (1), 2019)

Reachability-Based Safety Guarantees using Efficient Initializations. - Sylvia L. Herbert; Somil Bansal; Shromona Ghosh; Claire J. Tomlin (CDC, 2019)

SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems. - Ankush Desai; Shromona Ghosh; Sanjit A. Seshia; Natarajan Shankar; Ashish Tiwari 001 (DSN, 2019)

A new simulation metric to determine safe environments and controllers for systems with unknown dynamics. - Shromona Ghosh; Somil Bansal; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; Claire J. Tomlin (HSCC, 2019)

Bridging Hamilton-Jacobi Safety Analysis and Reinforcement Learning. - Jaime F. Fisac; Neil F. Lugovoy; Vicenc Rubies-Royo; Shromona Ghosh; Claire J. Tomlin (ICRA, 2019)

Scenic: a language for scenario specification and scene generation. - Daniel J. Fremont; Tommaso Dreossi; Shromona Ghosh; Xiangyu Yue 001; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (PLDI, 2019)

VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems. - Tommaso Dreossi; Daniel J. Fremont; Shromona Ghosh; Edward Kim 005; Hadi Ravanbakhsh; Marcell Vazquez-Chanlatte; Sanjit A. Seshia (CoRR, 2019)

A Formalization of Robustness for Deep Neural Networks. - Tommaso Dreossi; Shromona Ghosh; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (CoRR, 2019)

Counterexample-Guided Synthesis of Perception Models and Control. - Shromona Ghosh; Hadi Ravanbakhsh; Sanjit A. Seshia (CoRR, 2019)

Counterexample-Guided Synthesis of Perception Models and Control. - Shromona Ghosh; Yash Vardhan Pant; Hadi Ravanbakhsh; Sanjit A. Seshia (ACC, 2021)

3D Environment Modeling for Falsification and Beyond with Scenic 3.0. - Eric Vin; Shun Kashiwa; Matthew Rhea; Daniel J. Fremont; Edward Kim 005; Tommaso Dreossi; Shromona Ghosh; Xiangyu Yue 001; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (CAV (1), 2023)

Scenic: a language for scenario specification and data generation. - Daniel J. Fremont; Edward Kim 005; Tommaso Dreossi; Shromona Ghosh; Xiangyu Yue 001; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (Mach. Learn., 2023)

A Minimum Discounted Reward Hamilton-Jacobi Formulation for Computing Reachable Sets. - Anayo K. Akametalu; Shromona Ghosh; Jaime F. Fisac; Vicenc Rubies-Royo; Claire J. Tomlin (IEEE Trans. Autom. Control., 2024)