Optimal Learning of Specifications from Examples

Dana Drachsler-Cohen, Martin Vechev, Eran Yahav

A fundamental challenge in synthesis from examples is designing a learning algorithm that poses the minimal number of questions to an end user while guaranteeing that the target hy…