Are There Good Mistakes? A Theoretical Analysis of CEGIS
Susmit Jha and Sanjit A. Seshia. Are There Good Mistakes? A Theoretical Analysis of CEGIS. In 3rd Workshop on Synthesis (SYNT), pp. 84–99, July 2014.
Download
Abstract
(unavailable)
BibTeX
@inproceedings{jha-synt14, author = {Susmit Jha and Sanjit A. Seshia}, title = {Are There Good Mistakes? A Theoretical Analysis of CEGIS}, booktitle = {3rd Workshop on Synthesis (SYNT)}, month = "July", year = {2014}, pages = {84--99}, }