Automated synthesis of low-rank control systems from sc-LTL specifications using tensor-train decompositions | IEEE Conference Publication | IEEE Xplore