arXiv cs.RO· Sai Sandeep Damera, Ryan Matheu, John S. Baras·· 2 小时前AI 评分40
基于契约的智能体系统工程：以商运算实现可保障的系统设计
Contract-Based Agentic Systems Engineering: Delegation as Quotient for Assured System Design
AI 导读
研究提出将 SysML v2 中带假设与要求约束的需求视为 assume/guarantee 契约，把系统需求在固定邻居上分解后，开放组件的最弱可靠需求即契约商，并可用 Signal Temporal Logic 表达。
来源：arXiv cs.RO · arxiv.org