LearnLib
From MaRDI portal
Cited in
(42)- jETI
- DeepLog
- Rabbit
- TAXYS
- JTorX
- Inferring regular languages and \(\omega\)-languages
- Daikon
- Learning deterministic probabilistic automata from a model checking perspective
- XMPP
- Generating models of infinite-state communication protocols using regular inference with abstraction
- A categorical framework for learning generalised tree automata
- Learning residual alternating automata
- libalf
- BULL
- LinAIG
- NModel
- Efficient active automata learning via mutation testing
- Predictive runtime enforcement
- Automated synthesis of application-layer connectors from automata-based specifications
- Synthia
- opaal
- ADABU
- RALib
- Enhancing Automata Learning by Log-Based Metrics
- MuACOsm
- Automata learning with automated alphabet abstraction refinement
- A novel learning algorithm for Büchi automata based on family of DFAs and classification trees
- Sigma*
- CALF
- LEVER
- ITS-Tools
- Copilot
- prob-black-reach
- mut-learn
- SFADiff
- Improving active Mealy machine learning for protocol conformance testing
- Learning one-clock timed automata
- TarTar
- KERNELC
- MQTT
- AALpy
- Active learning for extended finite state machines
This page was built for software: LearnLib
