Abstraction-Based Interaction Model for Synthesis.

Hila Peleg, Shachar Itzhaky, Sharon Shoham

Browse the full VMCAI paper archive.