Learning Real-Time One-Counter Automata Using Polynomially Many Queries.

Prince Mathew, Vincent Penelle, A. V. Sreejith

Browse the full TACAS paper archive.