no code implementations • NeurIPS Workshop AIPLANS 2021 • Stephen Mell, Favyen Bastani, Stephan Zdancewic, Osbert Bastani
A key challenge is that queries are difficult for end users to develop: queries must reason about complex spatial and temporal patterns in object trajectories in order to select trajectories of interest, and predicates often include real-valued parameters (e. g., whether two cars are within a certain distance) that can be tedious to manually tune.