ROLL 1.0: ω-Regular Language Learning Library
Published in Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019), 2019
This is joint work with Xuechao Sun, Andrea Turrini, Yu-Fang Chen, and Junnan Xu. The published paper is available here.