TY  - RPRT
TI  - Unboundedness problems for machines with reversal-bounded counters
AU  - Pascal Baumann
AU  - Flavio D'Alessandro
AU  - Moses Ganardi
AU  - Oscar Ibarra
AU  - Ian McQuillan
AU  - Lia Schütze
AU  - Georg Zetzsche
PY  - 2023
UR  - https://arxiv.org/abs/2301.10198
ID  - 2301.10198
ER  -