7 citations · 7 across the 2 of their papers we have counts for
1 paper · 1 filter
Sarah Chasins, Julie L. Newcomb
We present an approach for synthesizing reactive robot motion plans, based on compilation to Syntax-Guided Synthesis (SyGuS) specifications. Our method reduces the motion planning…