Symbolic Model Checker

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