基于MCMAS的BCNs可观测性判定法,徐啸,郑旭飞,为了改进布尔控制网络(Boolean Control Networks)的可观测性问题,本文提出了一种基于MCMAS(Model Checker for Multi-Agent Systems)的判定方法。该