Coordinated exploration with marsupial teams of robots using temporal symbolic planning | IEEE Conference Publication | IEEE Xplore