ARCH-COMP19 Category Report: Stochastic Modelling

ARCH-COMP19 Category Report: Stochastic Modelling
复制标题

ARCH-COMP19 类别报告：随机建模

DOI：
10.29007/f2vb
复制
发表时间：
2019
期刊：
mBio
影响因子：
6.4
通讯作者：
Abraham P. Vinod
Abraham P. Vinod
中科院分区：
生物学1区
文献类型：
--
作者：
A. Abate;H. Blom;Nathalie Cauchi;S. Haesaert;A. Hartmanns;Kendra Lesser;Meeko Oishi;Vignesh Sivaramakrishnan;S. Soudjani;C. Vasile;Abraham P. Vinod

文献摘要

被引文献

相似文献

本报告介绍了随机模型的正式验证和政策综合的友好竞争的结果。它还介绍了这一类别中的新基准，并建议该类别的下一个步骤，以迎接明年的比赛。友谊赛是2019年春季连续和混合系统应用验证研讨会的一部分
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 2019