Learning Deterministic One-Counter Automata in Polynomial Time.

Prince Mathew, Vincent Penelle, A. V. Sreejith

Browse the full LICS paper archive.