A Novel Learning Algorithm for Bchi Automata Based on Family of DFAs and Classification Trees.

Yong Li, Yu-Fang Chen, Lijun Zhang, Depeng Liu

Browse the full TACAS paper archive.