Login / Signup
Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms.
Eric S. Kim
Murat Arcak
Mahmoud Khaled
Majid Zamani
Published in:
HSCC (2018)
Keyphrases
</>
computational complexity
theoretical analysis
recently developed
machine learning algorithms
computationally efficient
times faster
np hard
worst case
optimization problems
computationally expensive
combinatorial optimization
mathematical programming