28 citations · 35 across the 2 of their papers we have counts for
2 papers
cs.PL2019★ 28 cited
Tea: A High-level Language and Runtime System for Automating Statistical Analysis
Eunice Jun, Maureen Daum, Jared Roesch +4
Though statistical analyses are centered on research questions and hypotheses, current statistical analysis tools are not. Users must first translate their hypotheses into specific…
cs.PL2016★ 7 cited
Using SyGuS to Synthesize Reactive Motion Plans
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…