Implementation for learning MMLTs, new model for collecting statistics#153

Open

pdev55 wants to merge 27 commits intoLearnLib:developfrom

pdev55:local_timer_mealy

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Implementation for learning MMLTs, new model for collecting statistics#153

Implementation for learning MMLTs, new model for collecting statistics#153
pdev55 wants to merge 27 commits intoLearnLib:developfrom
pdev55:local_timer_mealy

Commits on Oct 8, 2025

bumped to java 17

Made RowImpl public to enable access in custom observation table implementations.

Made several methods of RowImpl public, to enable external access from observation tables that are defined in the learner module.

Commits on Oct 9, 2025

Started with integration of MMLT.

Extended EquivalenceOracle.java with LocalTimerMealyEquivalenceOracle.

Created module for symbol filters; added tests for counterexample handling for MMLT learner.

Functions for printing stats as JSON/YAML.

Renamed statsContainer; exporting mmlt caches.

Included symbol-filters module in dependency management.

Renamed fast cache to cache for MMLTs; added integration tests for MMLTs; allow access to stats during testing of learner.

Added more test models for the MMLT learner.

Added more test models for the MMLT learner.

Added cache consistency test for MMLT learning.

Commits on Oct 10, 2025

Removed location type parameter from LocalTimerMealyEquivalenceOracle.

Cache for MMLTs now inherits LearningCache

Multiple EQ tests for MMLTs can now respect the provided list of inputs for counterexamples.

Added tests for the cache; cleaned-up some files.

Added tests for the MMLT cache consistency test.

Made the MMLT SUL an interface with default methods.

Commits on Oct 13, 2025

Made symbol filters more independent from MMLTs

StatisticsSymbolFilter has stats container as constructor parameter.

Moved several MMLT examples to test-support.

Added an example for learning MMLTs; added module info for symbol filter module.

Added an example for learning MMLTs; added module info for symbol filter module.

Commits on Oct 15, 2025

Added more descriptions for included MMLT models

More info on model params

Commits on Oct 16, 2025

Updated reset search oracle to check if it can return a counterexample with the provided inputs.

Implementation for learning MMLTs, new model for collecting statistics#153pdev55 wants to merge 27 commits intoLearnLib:developLearnLib/learnlib:developfrom pdev55:local_timer_mealypdev55/learnlib:local_timer_mealyCopy head branch name to clipboard

Commits

Commits on Oct 8, 2025

Commits on Oct 9, 2025

Commits on Oct 10, 2025

Commits on Oct 13, 2025

Commits on Oct 15, 2025

Commits on Oct 16, 2025

Implementation for learning MMLTs, new model for collecting statistics#153
pdev55 wants to merge 27 commits intoLearnLib:developfrom
pdev55:local_timer_mealy