Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks.

Xiaowu Sun Yasser Shoukry

Published in: CoRR (2022)

Keyphrases

linear temporal logic
motion planning
image sequences
motion estimation
optical flow
temporally extended goals
bounded model checking
domain specific
temporal logic
planning problems
ai planning
moving objects
general purpose
heuristic search
model checking