Papers, Presentations and Reports Authored by Shromona Ghosh
- Diagnosis and Repair for Synthesis from Signal Temporal Logic, Shromona Ghosh, Sadigh Dorsa, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donze, Alberto Sangiovanni-Vincentelli, Shankar Sastry, Sanjit Seshia, 26, October, 2016.
Posted on 25 Oct 2016.
- Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications, Shromona Ghosh, Sadigh Dorsa, Pierluigi Nuzzo, Vasu Raman, Alexandre Donze, Alberto Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit Seshia, Hybrid Systems: Computation and Control, 12, April, 2016.
Posted on 8 Feb 2016.
- Robust Online Monitoring of Signal Temporal Logic, Jyotirmoy V. Deshmukh, Alexandre Donze, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit Seshia, 2015.
Posted on 9 Feb 2015.
Counts
- 1 Journal article.
- 2 Conference papers.
- 1 Poster.
- 1 Unpublished article.
The counts above are from the publications database. The number of posters is derived from the presentations. Note: A poster is a presentation that has the word 'poster' (case-insensitive) in the any of the text fields. Thus, the poster count might be somewhat inaccurate. The number of posters is deducted from the number of presentations and bother are reported. |