ARCH-COMP25 Category Report: Stochastic Models
ARCH-COMP25 Category Report: Stochastic Models
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 and their properties within this category and recommend next steps toward next year's edition of the competition. In particular, this report introduces three recently developed software tools, a new water distribution network benchmark, and a collection of simplified benchmarks intended to facilitate further comparisons among tools that were previously not directly comparable. This friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in Summer 2025.
Alessandro Abate、Omid Akbarzadeh、Henk A. P. Blom、Sofie Haesaert、Sina Hassani、Abolfazl Lavaei、Frederik Baymler Mathiesen、Rahul Misra、Amy Nejati、Mathis Niehage、Fie ??rum、Anne Remke、Behrad Samari、Ruohan Wang、Rafal Wisniewski、Ben Wooding、Mahdieh Zaker
水利工程基础科学水利工程施工
Alessandro Abate,Omid Akbarzadeh,Henk A. P. Blom,Sofie Haesaert,Sina Hassani,Abolfazl Lavaei,Frederik Baymler Mathiesen,Rahul Misra,Amy Nejati,Mathis Niehage,Fie ??rum,Anne Remke,Behrad Samari,Ruohan Wang,Rafal Wisniewski,Ben Wooding,Mahdieh Zaker.ARCH-COMP25 Category Report: Stochastic Models[EB/OL].(2025-06-21)[2025-07-18].https://arxiv.org/abs/2506.17602.点此复制
评论