★ 2
分布式多智能体委托的容错预算守恒
论文形式化分布式多智能体委托中的容错预算守恒问题，用独占托管信用在委托 DAG 中传递量化资源向量，并通过签名调度许可与网关验证防止超支。作者证明所有权划分、账本与效果守恒、至多一次结算等性质，并用 TLA+ 检查与崩溃注入实验验证机制。
arXiv cs.AI31 天前
共 1 篇相关资讯，按重要度与时间排序，每 3 小时更新。
论文形式化分布式多智能体委托中的容错预算守恒问题，用独占托管信用在委托 DAG 中传递量化资源向量，并通过签名调度许可与网关验证防止超支。作者证明所有权划分、账本与效果守恒、至多一次结算等性质，并用 TLA+ 检查与崩溃注入实验验证机制。