Liyong Lin, Rong Su, Alin Stefanescu. Remarks on the difficulty of top-down supervisor synthesis. In 12th International Conference on Control Automation Robotics & Vision, ICARCV 2012, Guangzhou, China, December 5-7, 2012. pages 270-275, IEEE, 2012. [doi]
Abstract is missing.