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
{"title":"ARCH-COMP20 Category Report: Stochastic Models","authors":"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","doi":"10.29007/mqzc","DOIUrl":null,"url":null,"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.","PeriodicalId":82938,"journal":{"name":"The Archivist","volume":"68 1","pages":"76-106"},"PeriodicalIF":0.0000,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"The Archivist","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.29007/mqzc","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
