標籤: 軌跡驗證的多代理框架