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

Share

COinS