Implementation for learning MMLTs, new model for collecting statistics#153
Merged
mtf90 merged 64 commits intoLearnLib:developfrom Dec 13, 2025
Merged
Implementation for learning MMLTs, new model for collecting statistics#153mtf90 merged 64 commits intoLearnLib:developfrom
mtf90 merged 64 commits intoLearnLib:developfrom
Conversation
…m observation tables that are defined in the learner module.
…dling for MMLT learner.
…LTs; allow access to stats during testing of learner.
…ts for counterexamples.
…e with the provided inputs.
mtf90
force-pushed
the
local_timer_mealy
branch
from
0befb3a to
e9a1975
Compare
…outputs explicitly.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
3 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This provides an implementation of our Rivest-Schapire based learning algorithm for Mealy Machines with Local Timers (MMLTs). It includes the learning algorithm, an MMLT-specific query oracle, cache, and conformance testers.
We also include various integration tests and example models.
We also provide StatisticsContainer, a streamlined method for collecting statistics. A statistics container acts as a general key-value repository that can store various kinds of data that might be collected during learning (counters, stop clocks, texts, boolean flags). Components can implement the LearnerStatsProvider interface to indicate that they are interested in writing data to a container. The caller can provide a container to these components (the same for all or different ones).
Most notably, the caller does not need to know what kinds of data the component stores in the container. This simplifies the collection of much and different data, across different threads.
The stored data can exported as JSON or YAML for manual analysis or further processing, e.g., in Python.