Automatic synthesis of control alphabet policies

TitleAutomatic synthesis of control alphabet policies
Publication TypeConference Paper
Year of Publication2016
AuthorsMavrommati, A., and T. D. Murphey
Conference NameIEEE International Conference on Automation Science and Engineering (CASE)
Pages313 - 320
URLhttp://ieeexplore.ieee.org/document/7743422/http://xplorestaging.ieee.org/ielx7/7738291/7743369/07743422.pdf?arnumber=7743422
DOI10.1109/COASE.2016.7743422
Publication PDF: