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

Date:

This paper was accepted for presentation at 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017)