@misc{indiciae23e00d9b816e,
  title = {Reachability in Continuous Pushdown VASS},
  author = {A. R. Balasubramanian and Rupak Majumdar and Ramanathan S. Thinniyam and Georg Zetzsche},
  year = {2023},
  url = {https://arxiv.org/abs/2310.16798},
  note = {Source identifier: 2310.16798}
}