@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@ARTICLE{jha-arxiv15,
author = {{Jha}, S. and {Seshia}, S.~A.},
title = "{A Theory of Formal Synthesis via Inductive Learning}",
journal = {ArXiv e-prints},
archivePrefix = "arXiv",
eprint = {1505.03953},
year = 2015,
month = may,
}