Publication

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