Search results

Problem in SLLambda with initial branching

Status: Open.

#79 In LearnLib/ralib;

· fhowar opened on Mar 22, 2024

Problem with using Ralib to extract the behavioral model with inequality theory

Status: Open.

#78 In LearnLib/ralib;

· Alim9100 opened on Mar 20, 2024

Question about web learning

Status: Open.

#67 In LearnLib/ralib;

· ferganyalim opened on Feb 18, 2024

Which branch is usable and error free?

Status: Open.

#51 In LearnLib/ralib;

· Alim9100 opened on Nov 3, 2023

RALib can generate non-deterministic RAs

Status: Open.

#4 In LearnLib/ralib;

· pfg666 opened on Jul 19, 2022

CounterexampleAnalysis::computeIndex can incorrectly judge that a CE leads to a guard refinement

Status: Open.

#3 In LearnLib/ralib;

· pfg666 opened on Jun 25, 2022

basic-branch Counterexample Analysis::hasCounterexample wrongly returns false sometimes

Status: Open.

#2 In LearnLib/ralib;

· pfg666 opened on Jun 23, 2022