TY  - RPRT
TI  - ARCH-COMP25 Category Report: Stochastic Models
AU  - Alessandro Abate
AU  - Omid Akbarzadeh
AU  - Henk A. P. Blom
AU  - Sofie Haesaert
AU  - Sina Hassani
AU  - Abolfazl Lavaei
AU  - Frederik Baymler Mathiesen
AU  - Rahul Misra
AU  - Amy Nejati
AU  - Mathis Niehage
AU  - Fie Ørum
AU  - Anne Remke
AU  - Behrad Samari
AU  - Ruohan Wang
AU  - Rafal Wisniewski
AU  - Ben Wooding
AU  - Mahdieh Zaker
PY  - 2025
UR  - https://arxiv.org/abs/2506.17602
ID  - 2506.17602
ER  -