TY  - RPRT
TI  - Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks
AU  - Xiaowu Sun
AU  - Yasser Shoukry
PY  - 2022
UR  - https://arxiv.org/abs/2210.05180
ID  - 2210.05180
ER  -