5 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.LG2012★ 5 cited
IDS: An Incremental Learning Algorithm for Finite Automata
Muddassar A. Sindhu, Karl Meinke
We present a new algorithm IDS for incremental learning of deterministic finite automata (DFA). This algorithm is based on the concept of distinguishing sequences introduced in (An…
cs.DS2012
An n log n Alogrithm for Deterministic Kripke Structure Minimization
Karl Meinke, Muddassar A. Sindhu
We introduce an algorithm for the minimization of deterministic Kripke structures with O(kn log2 n) time complexity. We prove the correctness and complexity properties of this algo…