Synthesizing Trajectory Queries from Examples.

Stephen Mell, Favyen Bastani, Steve Zdancewic, Osbert Bastani

Browse the full CAV paper archive.