model-learning

Here are 2 public repositories matching this topic...

LearnLib / learnlib

A free, open-source Java library for automata learning algorithms

java automata finite-state-machine ttt dfa model-based-testing mealy-machine test-case-generation automata-learning pushdown-automata model-learning lstar model-based-learning rpni active-automata-learning

Updated Jan 6, 2026
Java

ASSESS is a passive model learning method for IoT device, that infers a system of LTSs (Labelled Transition Systems) from execution traces. Each LTS of the system will represent a different component of the device.

lts iot-device model-learning ktail

Updated Jul 20, 2020
Java

Improve this page

Add a description, image, and links to the model-learning topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the model-learning topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

model-learning

Here are 2 public repositories matching this topic...

LearnLib / learnlib

Elblot / ASSESS

Improve this page

Add this topic to your repo