@misc{indiciae0a6888f48d2c,
  title = {A Novel Learning Algorithm for Büchi Automata based on Family of DFAs and Classification Trees},
  author = {Yong Li and Yu-Fang Chen and Lijun Zhang and Depeng Liu},
  year = {2017},
  url = {https://arxiv.org/abs/1610.07380},
  note = {Source identifier: 1610.07380}
}