56 citations · 105 across the 22 of their papers we have counts for
1 paper · 2 filters
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…