In this short position paper we highlight our ongoing work on verifiable heterogeneous multi-agent systems and, in particular, the complex (and often non-functional) issues that impact the choice of structure within each agent.

翻译：在这篇简短的立场论文中，我们重点介绍了在可验证异构多智能体系统方面的持续工作，特别是影响每个智能体内结构选择的复杂（且通常是非功能性）问题。