swMATH9913MaRDI QIDQ21892FDOQ21892
Author name not available (Why is that?)
Official website: http://link.springer.com/article/10.1007/s10009-009-0111-8
Cited In (38)
- AALpy
- A categorical framework for learning generalised tree automata
- Learning residual alternating automata
- Efficient active automata learning via mutation testing
- Learning one-clock timed automata
- Learning deterministic probabilistic automata from a model checking perspective
- Active learning for extended finite state machines
- Generating models of infinite-state communication protocols using regular inference with abstraction
- A novel learning algorithm for Büchi automata based on family of DFAs and classification trees
- Rabbit
- XMPP
- BULL
- libalf
- LinAIG
- NModel
- opaal
- Synthia
- ADABU
- RALib
- MuACOsm
- Enhancing Automata Learning by Log-Based Metrics
- Sigma*
- CALF
- LEVER
- ITS-Tools
- Copilot
- mut-learn
- prob-black-reach
- SFADiff
- Improving active Mealy machine learning for protocol conformance testing
- TarTar
- KERNELC
- MQTT
- Predictive runtime enforcement
- DeepLog
- Automata learning with automated alphabet abstraction refinement
- Inferring regular languages and \(\omega\)-languages
- Automated synthesis of application-layer connectors from automata-based specifications
This page was built for software: LearnLib
