Interpolation for Synthesis on Unbounded Domains

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
}