Fast LTL-Based Flexible Planning for Dual-Arm Manipulation.

Mizuho Katayama Shumpei Tokuda Masaki Yamakita Hiroyuki Oyama

Published in: IROS (2020)

Keyphrases

temporal logic
planning problems
temporally extended goals
heuristic search
model checking
classical planning
linear temporal logic
real time
computational complexity
decision support
planning domains
blocks world
neural network
primal dual
planning systems
stochastic domains