SCOTS: A Tool for the Synthesis of Symbolic Controllers Conference Proceeding uri icon

Overview

publication date

  • April 12, 2016

has restriction

  • closed

Date in CU Experts

  • July 24, 2019 2:19 AM

Full Author List

  • Rungger M; Zamani M

author count

  • 2

citation count

  • 115

Other Profiles

Additional Document Info

start page

  • 99

end page

  • 104