期刊文章图标

期刊文章

中心极限模型检查

摘要：

我们考虑随机反应网络诱导的连续时间马尔可夫链（CTMC）对用奖励算子扩展的连续随机逻辑（CSL）片段的概率模型检查。基于均匀化的CSL模型检验的经典数值算法仅限于有限的CTMC，并且状态空间相对于物种数量呈指数增长。然而，平均场近似和模拟计算等近似技术是有效的。。。

展开摘要
发布状态：
出版
同行评审状态：
同行评审

行动

  • 引用

  • 打印

Access文档

文件夹：
出版商副本：
10.1145/3331452

作者

更多作者介绍
机构：
牛津大学
部门：
MPLS部门
部门：
计算机科学
角色：
作者
更多作者介绍
机构：
牛津大学
部门：
多协议标签交换
部门：
计算机科学
牛津学院：
三一学院
角色：
作者
出版商：
计算机协会
日志：
ACM计算逻辑汇刊 本杂志的更多信息
体积：
20
问题：
4
物品编号：
19
出版日期：
2019-07-16
验收日期：
2019-05-06
内政部：
EISSN公司：
1557-945倍
国际标准编号：
1529-3785
关键词：
酒吧编号：
酒吧：996867
用户识别码：
uuid:5ecbf938-b138-483f-bc54-af691fc982b9
本地pid：
酒吧：996867
源标识符：
996867
存款日期：
2019-05-08

使用条款

查看和下载





如果您是此记录的所有者，您可以在此处报告更新：此记录的报告更新

至顶部