Fast LTL-Based Flexible Planning for Dual-Arm Manipulation | IEEE Conference Publication | IEEE Xplore