@inproceedings{10.1007/978-3-030-17462-0_23,
    Address = {Cham},
    Author = {Li, Yong and Sun, Xuechao and Turrini, Andrea and Chen, Yu-Fang and Xu, Junnan},
    BookTitle = {Tools and Algorithms for the Construction and Analysis of Systems},
    Editor = {Vojnar, Tom{\'a}{\v{s}} and Zhang, Lijun},
    File = {Li2019\_Chapter\_ROLL10Omega-RegularLanguageLea (0) (0) - a - a - x.pdf},
    ISBN = {978-3-030-17462-0},
    Pages = {365--371},
    Publisher = {Springer International Publishing},
    Title = {ROLL 1.0: {$\omega$}-Regular Language Learning Library},
    Year = {2019},
    date-added = {2019-04-09 22:53:22 +0200},
    date-modified = {2019-04-09 22:53:22 +0200},
    doi = {10.1007/978-3-030-17462-0_23}
}

@inproceedings{10.1007/978-3-030-17462-0_23, Address = {Cham}, Author = {Li, Yong and Sun, Xuechao and Turrini, Andrea and Chen, Yu-Fang and Xu, Junnan}, BookTitle = {Tools and Algorithms for the Construction and Analysis of Systems}, Editor = {Vojnar, Tom{\'a}{\v{s}} and Zhang, Lijun}, File = {Li2019_Chapter_ROLL10Omega-RegularLanguageLea (0) (0) - a - a - x.pdf}, ISBN = {978-3-030-17462-0}, Pages = {365--371}, Publisher = {Springer International Publishing}, Title = {ROLL 1.0: {$\omega$}-Regular Language Learning Library}, Year = {2019}, date-added = {2019-04-09 22:53:22 +0200}, date-modified = {2019-04-09 22:53:22 +0200}, doi = {10.1007/978-3-030-17462-0_23} }