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

[ bib ] Back