TY  - RPRT
TI  - Learning real-time one-counter automata using polynomially many queries
AU  - Prince Mathew
AU  - Vincent Penelle
AU  - A. V. Sreejith
PY  - 2025
UR  - https://arxiv.org/abs/2411.08815
ID  - 2411.08815
ER  -