@misc{indiciae1ef8db4b588d,
  title = {Asymptotic Complexity Estimates for Probabilistic Programs and their VASS Abstractions},
  author = {Michal Ajdarów and Antonín Kučera},
  year = {2023},
  url = {https://arxiv.org/abs/2307.04707},
  note = {Source identifier: 2307.04707}
}