Shromona Ghosh

Robust online monitoring of signal temporal logic

Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh et al. · Formal Methods in System Design · 2017 · 178 citations

Engineering, Robust Online Monitoring, Process Control +8

Bridging Hamilton-Jacobi Safety Analysis and Reinforcement Learning

Jaime F. Fisac, Neil F. Lugovoy, Vicenç Rubies-Royo et al. · 2019 · 85 citations

Mathematical Programming, Artificial Intelligence, Hamiltonian Theory +15

Scenic: a language for scenario specification and data generation

Daniel J. Fremont, Edward Kim, Tommaso Dreossi et al. · Machine Learning · 2022 · 79 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +20

Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications

Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo et al. · 2016 · 48 citations

Engineering, Verification, System Synthesis +18

Systematic Testing of Convolutional Neural Networks for Autonomous Driving

Tommaso Dreossi, Shromona Ghosh, Alberto Sangiovanni‐Vincentelli et al. · arXiv (Cornell University) · 2017 · 34 citations · Full text

Convolutional Neural Network, Engineering, Machine Learning +19