System correctness is one of the most crucial and challenging objectives in software and hardware systems. With the increasing evolution of connected and distributed systems, ensuring their correctness requires the use of formal verification for multi-agent systems. In this paper, we present a summary of certain results on model checking for multi-agent systems that derive from the selection of strategies and information for agents. Additionally, we discuss some open directions for future research.

翻译：系统正确性是软硬件系统中最关键且最具挑战性的目标之一。随着互联与分布式系统的不断发展，确保其正确性需借助多智能体系统的形式化验证。本文总结了多智能体系统模型检测中源于智能体策略与信息选择的若干研究成果，并探讨了未来研究中一些有待探索的方向。