Login / Signup
Bounded Sub-optimal Multi-Robot Path Planning Using Satisfiability Modulo Theory (SMT) Approach.
Pavel Surynek
Published in:
IROS (2020)
Keyphrases
</>
robot path planning
np complete
path planning
optimal solution
dynamic programming
route planning
path planner
machine learning
genetic algorithm
learning algorithm
satisfiability problem