Publications

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

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

Abstract not provided.