1 citations · 1 across the 6 of their papers we have counts for
1 paper · 1 filter
Prince Mathew, Vincent Penelle, A. V. Sreejith
In this paper, we introduce a novel method for active learning of deterministic real-time one-counter automata (DROCA). The existing techniques for learning DROCA rely on observing…