发布 Symbolic Model Checker 数据集, 应用在 模型检查、多代理系统 领域

本次发布的数据集 Symbolic Model Checker, 该数据集实现了一种符号模型检查器，该检查器通过将模型检查多代理仅信念问题转化为TQBF（完全量化布尔公式）来进行处理。由于输入公式的特性和信念基的大小，该模型检查器在处理某些候选数目时可能会变慢。该数据集还评估了模型检查器在不同模型检查任务实例上的性能表现，专注于多代理系统模型检查任务。

查看Symbolic Model Checker

关于 arXiv , arXiv 是一个免费分发服务和开放获取的学术文章档案库，涵盖了物理学、数学、计算机科学、定量生物学、定量金融、统计学、电气工程和系统科学以及经济学等领域。该网站上的材料并未经过 arXiv 的同行评审。