[LiTCZ18] Learning Büchi Automata and Its Applications Li, Y.; Turrini, A.; Chen, Y.-F. and Zhang, L. In Engineering Trustworthy Software Systems - 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures, pages 38-98, Springer, Lecture Notes in Computer Science 11430, 2018.
Downloads: bibURL: https://doi.org/10.1007/978-3-030-17601-3_2