@misc{indiciae14815061aaaa,
  title = {General Decidability Results for Systems with Continuous Counters},
  author = {A. R. Balasubramanian and Matthew Hague and Rupak Majumdar and Ramanathan S. Thinniyam and Georg Zetzsche},
  year = {2025},
  url = {https://arxiv.org/abs/2511.21559},
  note = {Source identifier: 2511.21559}
}