[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: bibURL: https://doi.org/10.1007/978-3-030-17462-0_23