Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donzé, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia. Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. In Alessandro Abate, Georgios E. Fainekos, editors, Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016. pages 31-40, ACM, 2016. [doi]
@inproceedings{GhoshSNRDSSS16,
title = {Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications},
author = {Shromona Ghosh and Dorsa Sadigh and Pierluigi Nuzzo and Vasumathi Raman and Alexandre Donzé and Alberto L. Sangiovanni-Vincentelli and S. Shankar Sastry and Sanjit A. Seshia},
year = {2016},
doi = {10.1145/2883817.2883847},
url = {http://doi.acm.org/10.1145/2883817.2883847},
researchr = {https://researchr.org/publication/GhoshSNRDSSS16},
cites = {0},
citedby = {0},
pages = {31-40},
booktitle = {Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016},
editor = {Alessandro Abate and Georgios E. Fainekos},
publisher = {ACM},
isbn = {978-1-4503-3955-1},
}