@misc{indiciaedb631dc5357e,
  title = {POPACheck: A Model Checker for Probabilistic Pushdown Automata},
  author = {Francesco Pontiggia and Ezio Bartocci and Michele Chiari},
  year = {2025},
  doi = {10.1007/978-3-031-98679-6\_5},
  url = {https://arxiv.org/abs/2502.03956},
  note = {Source identifier: 2502.03956}
}