Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-17465-1_15 ◽

2019 ◽

pp. 265-281

Author(s):

Mahmoud Khaled ◽

Eric S. Kim ◽

Murat Arcak ◽

Majid Zamani

Download Full-text