Poster: Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms
Conference Proceeding
Overview
publication date
- April 11, 2018
has restriction
- bronze
Date in CU Experts
- July 24, 2019 2:20 AM
Full Author List
- Kim ES; Arcak M; Khaled M; Zamani M
author count
- 4
presented at event
Other Profiles
Digital Object Identifier (DOI)
Additional Document Info
start page
- 285
end page
- 286