Abstract Learning Frameworks for Synthesis

Christof Löding, P. Madhusudan, Daniel Neider

We develop abstract learning frameworks (ALFs) for synthesis that embody the principles of CEGIS (counter-example based inductive synthesis) strategies that have become widely appl…