%0 Conference Paper %1 conf/hybrid/GhoshSNRDSSS16 %A Ghosh, Shromona %A Sadigh, Dorsa %A Nuzzo, Pierluigi %A Raman, Vasumathi %A Donzé, Alexandre %A Sangiovanni-Vincentelli, Alberto L. %A Sastry, S. Shankar %A Seshia, Sanjit A. %B HSCC %D 2016 %E Abate, Alessandro %E Fainekos, Georgios E. %I ACM %K %P 31-40 %T Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2016.html#GhoshSNRDSSS16 %@ 978-1-4503-3955-1

@inproceedings{conf/hybrid/GhoshSNRDSSS16, added-at = {2023-12-13T02:54:27.000+0100}, author = {Ghosh, Shromona and Sadigh, Dorsa and Nuzzo, Pierluigi and Raman, Vasumathi and Donzé, Alexandre and Sangiovanni-Vincentelli, Alberto L. and Sastry, S. Shankar and Seshia, Sanjit A.}, biburl = {https://www.bibsonomy.org/bibtex/214c552ab38a63d283165c095f82d396f/admin}, booktitle = {HSCC}, crossref = {conf/hybrid/2016}, editor = {Abate, Alessandro and Fainekos, Georgios E.}, ee = {https://www.wikidata.org/entity/Q57380127}, interhash = {85212699442f918f00ab688dff3f1356}, intrahash = {14c552ab38a63d283165c095f82d396f}, isbn = {978-1-4503-3955-1}, keywords = {}, pages = {31-40}, publisher = {ACM}, timestamp = {2023-12-13T02:54:27.000+0100}, title = {Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2016.html#GhoshSNRDSSS16}, year = 2016 }