Design of Motion Planning System for Dual-arm Robot with Gantry Based on Temporal Logic Specifications and Predictive Control | IEEE Conference Publication | IEEE Xplore