Pinned repositories

  1. learnlib

    A free, open-source Java library for automata learning algorithms

    Java 63 24

  2. automatalib

    A free, open-source Java library for modeling automata, graphs, and transition systems

    Java 34 14

  3. alex

    Automata Learning EXperience (ALEX) -- a free, open-source Java tool for easily combining active automata learning with web applications

    Java 11 2