Publications Details

Automated synthesis of low-rank control systems from sc-LTL specifications using tensor-train decompositions

Gorodetsky, Alex A.; Alora, John; Karaman, Sertac; Lowry, Nathan; Marzouk, Youssef

Abstract not provided.