149 citations · 206 across the 29 of their papers we have counts for
1 paper · 2 filters
Xiaowu Sun, Yasser Shoukry
This paper presents a neurosymbolic framework to solve motion planning problems for mobile robots involving temporal goals. The temporal goals are described using temporal logic fo…