TY  - RPRT
TI  - Quantitative coverability for probabilistic well-structured transition systems
AU  - Raphaël Faure
AU  - Alain Finkel
AU  - Gaspard Fougea
AU  - Lina Ye
PY  - 2026
UR  - https://arxiv.org/abs/2609.26312
ID  - 2609.26312
ER  -