Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms

Abstract

ACM Reference Format: Eric S. Kim, Murat Arcak and Mahmoud Khaled, Majid Zamani. 2018. Poster: Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms. In HSCC ’18: 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), April 11–13, 2018, Porto, Portugal. ACM, New York, NY, USA, 3 pages. https://doi.org/10.1145/3178126.3187005