A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees

Published in Proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2017), 2017

Recommended citation:

This is joint work with Yu-Fang Chen, Lijun Zhang, and Depeng Liu. The published paper is available here.