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