Poster: Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms Conference Proceeding uri icon

Overview

publication date

  • April 11, 2018

Date in CU Experts

  • July 24, 2019 2:20 AM

Full Author List

  • Kim ES; Arcak M; Khaled M; Zamani M

author count

  • 4

Other Profiles

Additional Document Info

start page

  • 285

end page

  • 286