19 citations · 33 across the 5 of their papers we have counts for
1 paper · 2 filters
Véronique Bruyère, Guillermo A. Pérez, Gaëtan Staquet
We present a new learning algorithm for realtime one-counter automata. Our algorithm uses membership and equivalence queries as in Angluin's L* algorithm, as well as counter value…