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

Merged

mtf90 merged 64 commits intoLearnLib:developfrom

pdev55:local_timer_mealy

Dec 13, 2025

Commits on Nov 21, 2025

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

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

tupaul
authored and
mtf90
committed
Started with integration of MMLT.

tupaul
authored and
mtf90
committed
Extended EquivalenceOracle.java with LocalTimerMealyEquivalenceOracle.

tupaul
authored and
mtf90
committed
Created module for symbol filters; added tests for counterexample handling for MMLT learner.

tupaul
authored and
mtf90
committed
Functions for printing stats as JSON/YAML.

tupaul
authored and
mtf90
committed
Renamed statsContainer; exporting mmlt caches.

tupaul
authored and
mtf90
committed
Included symbol-filters module in dependency management.

tupaul
authored and
mtf90
committed
Renamed fast cache to cache for MMLTs; added integration tests for MMLTs; allow access to stats during testing of learner.

tupaul
authored and
mtf90
committed
Added more test models for the MMLT learner.

tupaul
authored and
mtf90
committed
Added more test models for the MMLT learner.

tupaul
authored and
mtf90
committed
Added cache consistency test for MMLT learning.

tupaul
authored and
mtf90
committed
Removed location type parameter from LocalTimerMealyEquivalenceOracle.

tupaul
authored and
mtf90
committed
Cache for MMLTs now inherits LearningCache

tupaul
authored and
mtf90
committed
Multiple EQ tests for MMLTs can now respect the provided list of inputs for counterexamples.

tupaul
authored and
mtf90
committed
Added tests for the cache; cleaned-up some files.

tupaul
authored and
mtf90
committed
Added tests for the MMLT cache consistency test.

tupaul
authored and
mtf90
committed
Made the MMLT SUL an interface with default methods.

tupaul
authored and
mtf90
committed
Made symbol filters more independent from MMLTs

tupaul
authored and
mtf90
committed
StatisticsSymbolFilter has stats container as constructor parameter.

tupaul
authored and
mtf90
committed
Moved several MMLT examples to test-support.

tupaul
authored and
mtf90
committed
Added an example for learning MMLTs; added module info for symbol filter module.

tupaul
authored and
mtf90
committed
Added an example for learning MMLTs; added module info for symbol filter module.

tupaul
authored and
mtf90
committed
Added more descriptions for included MMLT models

tupaul
authored and
mtf90
committed
More info on model params

tupaul
authored and
mtf90
committed
Updated reset search oracle to check if it can return a counterexample with the provided inputs.

tupaul
authored and
mtf90
committed
adjust to AutomataLib refactorings
mtf90
committed
adjust to AutomataLib refactorings
mtf90
committed
adjust to AutomataLib refactorings
mtf90
committed
Using correct function to render MMLT in example.

tupaul
authored and
mtf90
committed
Replaced getUntimedAlphabet with getInputAlphabet

tupaul
authored and
mtf90
committed
MMLT-Learner now explicitly takes untimed inputs in constructor.

tupaul
authored and
mtf90
committed
initial refactorings / cleanups
mtf90
committed
cleanup/generalize (integration-) tests
mtf90
committed
replace explicit StatsContainer with ServiceLoader-based approach
mtf90
committed
experimental: replace old statistics collection with new approach
mtf90
committed
add missing stats reset
mtf90
committed
make MapStatsContainer thread-safe and fix tests
mtf90
committed
refactor symbol filters
mtf90
committed

Commits on Nov 22, 2025

adjust to AutomataLib refactorings
mtf90
committed

Commits on Nov 23, 2025

Commits on Nov 29, 2025

cleanups + tests
mtf90
committed

Commits on Dec 1, 2025

cleanups, parallel timed oracles, test cases
mtf90
committed

Commits on Dec 2, 2025

Commits on Dec 7, 2025

cleanups
mtf90
committed