Login / Signup

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

Mahmoud KhaledEric S. KimMurat ArcakMajid Zamani
Published in: TACAS (2) (2019)
Keyphrases