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

Mahmoud Khaled, Eric S. Kim, Murat Arcak, Majid Zamani

Browse the full TACAS paper archive.