High-Level Mission Planning for Multi-Agent Indoor System | IEEE Conference Publication | IEEE Xplore