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), July 2014. To appear.

Download

[pdf] 

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},
  note = "To appear.",
}

Generated by bib2html.pl (written by Patrick Riley ) on Sun Jun 29, 2014 20:03:13