A ROSPlan-Based Multi-Robot Navigation System | IEEE Conference Publication | IEEE Xplore