@misc{indiciae8b608b456d28, title = {ARCH-COMP25 Category Report: Stochastic Models}, author = {Alessandro Abate and Omid Akbarzadeh and Henk A. P. Blom and Sofie Haesaert and Sina Hassani and Abolfazl Lavaei and Frederik Baymler Mathiesen and Rahul Misra and Amy Nejati and Mathis Niehage and Fie Ørum and Anne Remke and Behrad Samari and Ruohan Wang and Rafal Wisniewski and Ben Wooding and Mahdieh Zaker}, year = {2025}, url = {https://arxiv.org/abs/2506.17602}, note = {Source identifier: 2506.17602} }