ARCH-COMP25 Category Report: Stochastic Models

Alessandro Abate, Omid Akbarzadeh, Henk A. P. Blom +14

This report is concerned with a friendly competition for formal verification and policy synthesis of stochastic models. The main goal of the report is to introduce new benchmarks a…