Linear Temporal Logic-based Mixed-Integer Linear Problem Planning with the Koopman Operator | IEEE Conference Publication | IEEE Xplore