High-Level Mission Planning for Multi-Agent Indoor System | Synapse