Liyong Lin, Yuting Zhu, Rong Su. A Topological Approach for Computing Supremal Sublanguages. In 16th International Conference on Control, Automation, Robotics and Vision, ICARCV 2020, Shenzhen, China, December 13-15, 2020. pages 1015-1019, IEEE, 2020. [doi]
Abstract is missing.