Shromona Ghosh

36 papers A* 4A 1B 3C 1Journal 21Unranked 6

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