Convex Approximation for LTL-based Planning | IEEE Conference Publication | IEEE Xplore