Mon 8 Apr 2019 19:33 - 19:37 at 1st Floor Reception Area (Posters) - Main Poster Session Chair(s): Konrad Siek
We present ROLL 1.0, an $\omega$-regular language learning library with command line tools to learn and complement Büchi automata. This open source Java library implements all existing learning algorithms for the complete class of $\omega$-regular languages. In addition to that, new Büchi automata operations such as complementation based on learning have been added into ROLL. The tool accepts a Büchi automaton represented in the Hanoi Omega Automata Format and in the BA format used by the tool RABIT. Besides being useful to researchers, its Jupyter notebook can also be used in interactive environments to teach automata learning algorithms, especially the Büchi automata learning.
Mon 8 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 8 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change