|
本文提出一种状态空间约简技术，用于模型检测多智体系统。该方法通过引入限界模型检测，有效减少状态空间的规模，提高检测效率。作者分析了多智体系统的复杂性，并设计了相应的约简策略，以保证在有限状态下准确验证系统性质。实验表明，该技术在保持正确性的同时显著降低了计算负担，为多智体系统的形式化验证提供了新思路。 文档为pdf格式，0.64MB，总共27页。
- 文件大小:
- 655.36 KB
- 下载次数:
- 60
- 模型检测多智体系统中的一种状态空间约简技术-限界模型检测 - 第四届中国Agent理论与应用学术会议.pdf ...
-
高速下载
| 
