Multiagent Autonomous Source Search Using Submodularity and Branch-and-Bound | Synapse