Mutex reasoning in cooperative path finding modeled as propositional satisfiability.

Pavel Surynek

Browse the full IROS paper archive.