Skip to main content

Automatic synthesis of control alphabet policies

Title:Automatic synthesis of control alphabet policies
Publication Type:Conference Paper
Year of Publication:2016
Authors: A. Mavrommati, and T. D. Murphey
Conference Name:IEEE International Conference on Automation Science and Engineering (CASE)
Pages:313 - 320
URL:http://ieeexplore.ieee.org/document/7743422/http://xplorestaging.ieee.org/ielx7/7738291/7743369/07743422.pdf?arnumber=7743422
DOI:10.1109/COASE.2016.7743422

PDF: 2016CASEMaMu.pdf

Back to top