1 citations · 1 across the 7 of their papers we have counts for
1 paper · 1 filter
Prince Mathew, Vincent Penelle, A. V. Sreejith
We give an active learning algorithm for deterministic one-counter automata (DOCAs) where the learner can ask the teacher membership and minimal equivalence queries. The algorithm…