TY  - RPRT
TI  - POPACheck: A Model Checker for Probabilistic Pushdown Automata
AU  - Francesco Pontiggia
AU  - Ezio Bartocci
AU  - Michele Chiari
PY  - 2025
DO  - 10.1007/978-3-031-98679-6_5
UR  - https://arxiv.org/abs/2502.03956
ID  - 2502.03956
ER  -