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

Pavel Surynek

Browse the full IROS paper archive.