Title
Automatic Synthesis of Controllers from Specifications using Control Certificates
Document Type
Article
Publication Date
12-2016
Publication Title
Electronic Proceedings in Theoretical Computer Science
ISSN
2075-2180
Volume
232
First Page
17
Last Page
20
DOI
http://dx.doi.org/10.4204/EPTCS.232.5
Recommended Citation
Ravanbakhsh, Hadi and Sankaranarayanan, Sriram, "Automatic Synthesis of Controllers from Specifications using Control Certificates" (2016). Computer Science Faculty Contributions. 2.
https://scholar.colorado.edu/csci_facpapers/2