文件名称：论文研究-基于MCMAS的BCNs可观测性判定法 .pdf
文件大小：352KB
文件格式：PDF
更新时间：2022-09-03 11:42:15
布尔控制网络
基于MCMAS的BCNs可观测性判定法，徐啸，郑旭飞，为了改进布尔控制网络（Boolean Control Networks）的可观测性问题，本文提出了一种基于MCMAS（Model Checker for Multi-Agent Systems）的判定方法。该
论文研究-基于MCMAS的BCNs可观测性判定法 .pdf
【文件属性】：