Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea).

David Harel, Assaf Marron, Ariel Rosenfeld, Moshe Y. Vardi, Gera Weiss

Browse the full AAAI paper archive.