TY  - RPRT
TI  - Equivalence of Deterministic Weighted Real-time One-Counter Automata
AU  - Prince Mathew
AU  - Vincent Penelle
AU  - Prakash Saivasan
AU  - A. V. Sreejith
PY  - 2024
UR  - https://arxiv.org/abs/2411.03066
ID  - 2411.03066
ER  -