Yong Li, Andrea Turrini, Yu-Fang Chen, Lijun Zhang. Learning Büchi Automata and Its Applications. In Jonathan P. Bowen, Zhiming Liu 0001, Zili Zhang, editors, Engineering Trustworthy Software Systems - 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures. Volume 11430 of Lecture Notes in Computer Science, pages 38-98, Springer, 2018. [doi]
Abstract is missing.