TY  - RPRT
TI  - Counting Abstraction for the Verification of Structured Parameterized Networks
AU  - Marius Bozga
AU  - Radu Iosif
AU  - Arnaud Sangnier
AU  - Neven Villani
PY  - 2025
UR  - https://arxiv.org/abs/2502.15391
ID  - 2502.15391
ER  -