ARCH-COMP20 Category Report: Stochastic Models

The Archivist Pub Date : 2020-01-01 DOI:10.29007/mqzc

Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, A. Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, Stefan Schupp, F. Shmarov, S. Soudjani, Abraham P. Vinod, B. Wooding, Majid Zamani, Paolo Zuliani

引用次数: 3

Abstract

This report presents the results of a friendly competition for formal verification and policy synthesis of stochastic models. It also introduces new benchmarks within this category, and recommends next steps for this category towards next year's edition of the competition. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in Spring/Summer 2020.

查看原文本刊更多论文

ARCH-COMP20类别报告:随机模型

本报告介绍了随机模型的正式验证和政策综合的友好竞争的结果。它还在这一类别中引入了新的基准，并为明年的比赛提供了这一类别的下一步建议。本次友好竞赛是2020年春夏连续和混合系统(ARCH)应用验证研讨会的一部分。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

The Archivist

自引率

0.00%

发文量