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

[HTML] 

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},
}

Generated by bib2html.pl (written by Patrick Riley ) on Sun Jun 21, 2015 12:08:14