Publication [LiSTCX19] ROLL 1.0: ω-Regular Language Learning Library Li, Y.; Sun, X.; Turrini, A.; Chen, Y.-F. and Xu, J. In TACAS, pages 365-371, LNCS 11427, 2019.Downloads: bib
