Multi-agent Strategy for Marine Applications via Temporal Planning | IEEE Conference Publication | IEEE Xplore