1. 首页
  2. 移动开发
  3. 其他
  4. 论文研究 基于MCMAS的BCNs可观测性判定法 .pdf

论文研究 基于MCMAS的BCNs可观测性判定法 .pdf

上传者: 2020-07-17 20:43:40上传 PDF文件 351.95KB 热度 15次
基于MCMAS的BCNs可观测性判定法,徐啸,郑旭飞,为了改进布尔控制网络(Boolean Control Networks)的可观测性问题,本文提出了一种基于MCMAS(Model Checker for Multi-Agent Systems)的判定方法。该
用户评论