Eric S. Kim, Murat Arcak, Mahmoud Khaled, Majid Zamani. Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms. In Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC 2018, Porto, Portugal, April 11-13, 2018. pages 285-286, ACM, 2018. [doi]
Abstract is missing.