most citedNeurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.RO2022★ 2 cited

Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks

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…