QuadSentinel：多智能体系统中机器可检查控制的顺序安全

这篇文章可能是一篇研究论文，重点关注确保多智能体系统的安全性。标题表明了一种新颖的方法，QuadSentinel，用于以机器可验证的方式控制这些系统。重点是顺序安全，这意味着关注操作的顺序和防止不良状态。来源ArXiv表明这是一篇预印本或研究出版物。