多智能体系统模型检测中策略与信息的影响
计算机科学中的逻辑
2023-10-05 v1 多智能体系统
摘要
系统正确性在软硬件系统中是最关键且最具挑战性的目标之一。随着互联与分布式系统的不断发展，确保其正确性需要使用面向多智能体系统的形式化验证。本文总结了多智能体系统模型检测中源于智能体策略与信息选择的部分结果，并讨论了若干未来研究的开放方向。
引用
@article{arxiv.2310.02342,
title = {The Impact of Strategies and Information in Model Checking for Multi-Agent Systems},
author = {Vadim Malvone},
journal= {arXiv preprint arXiv:2310.02342},
year = {2023}
}
备注
In Proceedings AREA 2023, arXiv:2310.00333