Symbolic Model Checker
收藏arXiv2025-09-30 收录
下载链接：
https://src.koda.cnrs.fr/tiago.de.lima/lda/
下载链接
链接失效反馈官方服务：
资源简介：
该数据集实现了一种符号模型检查器，该检查器通过将模型检查多代理仅信念问题转化为TQBF（完全量化布尔公式）来进行处理。由于输入公式的特性和信念基的大小，该模型检查器在处理某些候选数目时可能会变慢。该数据集还评估了模型检查器在不同模型检查任务实例上的性能表现，专注于多代理系统模型检查任务。
This dataset implements a symbolic model checker that addresses multi-agent only-belief model checking problems by reducing them to TQBF (Totally Quantified Boolean Formulas). Due to the characteristics of the input formulas and the size of the belief bases, this model checker may exhibit slowdowns when handling certain numbers of candidates. Additionally, this dataset evaluates the performance of the model checker across various instances of model checking tasks, with a focus on multi-agent system model checking tasks.
提供机构：
Authors of the paper
