Lazy Compilation of Variants of Multi-robot Path Planning with Satisfiability Modulo Theory (SMT) Approach.

Published in: IROS (2019)

Keyphrases

robot path planning
path planning
propositional theories
international space station
satisfiability problem
route planning
real time
decision making
multi modal
closely related
path planner
satisfiability testing