[LiCZL17] A Novel Learning Algorithm for Büchi Automata based on Family of DFAs and Classification Trees Li, Y.; Chen, Y.-F.; Zhang, L. and Liu, D. In TACAS, pages 208-226, LNCS 10205, 2017.
Downloads: bibURL: https://doi.org/10.1007/978-3-662-54577-5_12