Collaborated with:T.Dreossi D.J.Fremont S.A.Seshia Xiangyu Yue A.L.Sangiovanni-Vincentelli E.Kim H.Ravanbakhsh M.Vazquez-Chanlatte
Talks about:scenario (1) intellig (1) artifici (1) toolkit (1) languag (1) generat (1) analysi (1) system (1) specif (1) scenic (1)
Person: Shromona Ghosh
DBLP: Ghosh:Shromona
Contributed to:
2019
2019Wrote 2 papers:
- CAV-2019-DreossiFGKRVS #analysis #design #named #tool support
- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems (TD, DJF, SG, EK, HR, MVC, SAS), pp. 432–442.
- PLDI-2019-FremontDGYSS #generative #named #specification
- Scenic: a language for scenario specification and scene generation (DJF, TD, SG, XY, ALSV, SAS), pp. 63–78.