Code

Automata learning algorithms#480

Code

Open

deaddlyyy wants to merge 3 commits intoVeriFIT:develVeriFIT/mata:develfrom deaddlyyy:learningdeaddlyyy/mata:learningCopy head branch name to clipboard

+866

Commits

Commits on Feb 5, 2025

• Initial commit integrating L* and NL* into mata

  Show description for c0d211d
  deaddlyyy

  committed
  c0d211d

  Copy full SHA for c0d211d

• Added a hand-made test that was failing before the fix of rfsa_closure

  deaddlyyy

  committed
  0a03012

  Copy full SHA for 0a03012

• added integration tests for learning algorithms

  deaddlyyy

  committed
  c2c2dfc

  Copy full SHA for c2c2dfc