2 citations · 2 across the 2 of their papers we have counts for
2 papers
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…
cs.LG2020
Two-Level Lattice Neural Network Architectures for Control of Nonlinear Systems
James Ferlez, Xiaowu Sun, Yasser Shoukry
In this paper, we consider the problem of automatically designing a Rectified Linear Unit (ReLU) Neural Network (NN) architecture (number of layers and number of neurons per layer)…