list | abstracts | bib ]

Interpolation for Synthesis on Unbounded Domains

paper pdf   

Citation

Viktor Kuncak and Régis Blanc. Interpolation for synthesis on unbounded domains. In Formal Methods in Computer-Aided Design (FMCAD), 2013.

BibTex Entry

@INPROCEEDINGS{KuncakBlanc13InterpolationSynthesisUnboundedDomains,
  author = {Viktor Kuncak and R\'egis Blanc},
  title = {Interpolation for Synthesis on Unbounded Domains},
  booktitle = {Formal Methods in Computer-Aided Design (FMCAD)},
  year = 2013,
  localurl = {http://lara.epfl.ch/~kuncak/papers/KuncakBlanc13InterpolationSynthesisUnboundedDomains.pdf}
}

list | abstracts | bib ]