#

active-automata-learning

Here are 3 public repositories matching this topic...

LearnLib / learnlib

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

java automata finite-state-machine ttt dfa model-based-testing mealy-machine test-case-generation automata-learning pushdown-automata model-learning lstar model-based-learning rpni active-automata-learning

Updated Feb 16, 2026
Java

steve-anunknown / haal

Haskell Active Automata Learning library

automata liquid-haskell model-learning equivalence-oracles active-automata-learning

Updated Mar 26, 2026
Haskell

NotLeonian / aalpy-compro-examples

Examples of solving competitive programming problems with automata learning using AALpy

competitive-programming automata-learning active-automata-learning

Updated Mar 31, 2026
Python

Improve this page

Add a description, image, and links to the active-automata-learning topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the active-automata-learning topic, visit your repo's landing page and select "manage topics."