Automatic Synthesis of Controllers from Specifications using Control Certificates Journal Article uri icon

Overview

publication date

  • January 1, 2016

Date in CU Experts

  • April 4, 2017 11:34 AM

Full Author List

  • Ravanbakhsh H; Sankaranarayanan S

author count

  • 2

Other Profiles

International Standard Serial Number (ISSN)

  • 2075-2180

Additional Document Info

start page

  • 17

end page

  • +

issue

  • 232