Two-Phase Motion Planning Under Signal Temporal Logic Specifications in Partially Unknown Environments | IEEE Journals & Magazine | IEEE Xplore