TY  - RPRT
TI  - General Decidability Results for Systems with Continuous Counters
AU  - A. R. Balasubramanian
AU  - Matthew Hague
AU  - Rupak Majumdar
AU  - Ramanathan S. Thinniyam
AU  - Georg Zetzsche
PY  - 2025
UR  - https://arxiv.org/abs/2511.21559
ID  - 2511.21559
ER  -