11 citations · 23 across the 14 of their papers we have counts for
3 papers · 1 filter
Human in the Loop: Interactive Passive Automata Learning via Evidence-Driven State-Merging Algorithms
Christian A. Hammerschmidt, Radu State, Sicco Verwer
We present an interactive version of an evidence-driven state-merging (EDSM) algorithm for learning variants of finite state automata. Learning these automata often amounts to reco…
Learning Pairwise Disjoint Simple Languages from Positive Examples
Alexis Linard, Rick Smetsers, Frits Vaandrager +3
A classical problem in grammatical inference is to identify a deterministic finite automaton (DFA) from a set of positive and negative examples. In this paper, we address the relat…
Anomaly Detection in a Digital Video Broadcasting System Using Timed Automata
Xiaoran Liu, Qin Lin, Sicco Verwer +1
This paper focuses on detecting anomalies in a digital video broadcasting (DVB) system from providers' perspective. We learn a probabilistic deterministic real timed automaton prof…