John Irvin Alora, Alex A. Gorodetsky, Sertac Karaman, Youssef M. Marzouk, Nathan Lowry. Automated synthesis of low-rank control systems from sc-LTL specifications using tensor-train decompositions. In 55th IEEE Conference on Decision and Control, CDC 2016, Las Vegas, NV, USA, December 12-14, 2016. pages 1131-1138, IEEE, 2016. [doi]
Abstract is missing.