ARCH-COMP25 Category Report: Stochastic Models
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , , , , , , , , , , , , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866912443866808320 |
|---|---|
| author | Abate, Alessandro Akbarzadeh, Omid Blom, Henk A. P. Haesaert, Sofie Hassani, Sina Lavaei, Abolfazl Mathiesen, Frederik Baymler Misra, Rahul Nejati, Amy Niehage, Mathis Ørum, Fie Remke, Anne Samari, Behrad Wang, Ruohan Wisniewski, Rafal Wooding, Ben Zaker, Mahdieh |
| author_facet | Abate, Alessandro Akbarzadeh, Omid Blom, Henk A. P. Haesaert, Sofie Hassani, Sina Lavaei, Abolfazl Mathiesen, Frederik Baymler Misra, Rahul Nejati, Amy Niehage, Mathis Ørum, Fie Remke, Anne Samari, Behrad Wang, Ruohan Wisniewski, Rafal Wooding, Ben Zaker, Mahdieh |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_17602 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | ARCH-COMP25 Category Report: Stochastic Models Abate, Alessandro Akbarzadeh, Omid Blom, Henk A. P. Haesaert, Sofie Hassani, Sina Lavaei, Abolfazl Mathiesen, Frederik Baymler Misra, Rahul Nejati, Amy Niehage, Mathis Ørum, Fie Remke, Anne Samari, Behrad Wang, Ruohan Wisniewski, Rafal Wooding, Ben Zaker, Mahdieh Logic in Computer Science Systems and Control 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. |
| title | ARCH-COMP25 Category Report: Stochastic Models |
| topic | Logic in Computer Science Systems and Control |
| url | https://arxiv.org/abs/2506.17602 |