TY  - RPRT
TI  - Scalable Learning of One-Counter Automata via State-Merging Algorithms
AU  - Shibashis Guha
AU  - Anirban Majumdar
AU  - Prince Mathew
AU  - A. V. Sreejith
PY  - 2025
UR  - https://arxiv.org/abs/2509.05762
ID  - 2509.05762
ER  -