Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks.

Xiaowu Sun Yasser Shoukry

Published in: IEEE Trans. Robotics (2024)

Keyphrases

linear temporal logic
motion planning
temporally extended goals
temporal logic
image sequences
camera motion
machine learning
optical flow
planning problems
classical planning
bounded model checking
search space
motion estimation
ai planning