TY  - RPRT
TI  - Synthesizing Trajectory Queries from Examples
AU  - Stephen Mell
AU  - Favyen Bastani
AU  - Steve Zdancewic
AU  - Osbert Bastani
PY  - 2026
DO  - 10.1007/978-3-031-37706-8_23
UR  - https://arxiv.org/abs/2602.15164
ID  - 2602.15164
ER  -