An Interactive System for Multiple-Task Linear Temporal Logic Path Planning | IEEE Conference Publication | IEEE Xplore