100 citations · 314 across the 34 of their papers we have counts for
1 paper · 2 filters
Rajeev Alur, Pavol Cerny, Arjun Radhakrishna
Given a specification and a set of candidate programs (program space), the program synthesis problem is to find a candidate program that satisfies the specification. We present the…