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

Recommended citation:

This is joint work with Xuechao Sun, Andrea Turrini, Yu-Fang Chen, and Junnan Xu. The published paper is available here.