Anastasia Mavrommati, Todd D. Murphey. Automatic synthesis of control alphabet policies. In IEEE International Conference on Automation Science and Engineering, CASE 2016, Fort Worth, TX, USA, August 21-25, 2016. pages 313-320, IEEE, 2016. [doi]
Abstract is missing.