5 citations · 8 across the 12 of their papers we have counts for
1 paper · 1 filter
Mingyu Cai, Makai Mann, Zachary Serlin +2
This paper explores continuous-time control synthesis for target-driven navigation to satisfy complex high-level tasks expressed as linear temporal logic (LTL). We propose a model-…