Lazy Compilation of Variants of Multi-robot Path Planning with Satisfiability Modulo Theory (SMT) Approach
Research article (2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2019) · cited 10× · AI/ML