7 citations · 7 across the 1 of their papers we have counts for
1 paper
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…