Article

Contract-Based Agentic Systems Engineering: Using Quotient Operations to Achieve Assured System Design

The study proposes treating SysML v2 requirements with assumptions and required constraints as assume/guarantee contracts. After decomposing system requirements over fixed neighbors, the weakest sound requirement for an open component is the contract quotient, which can be expressed in Signal Temporal Logic.

Part of the event: Research proposes contractor-based requirement decomposition method for agent systems

This page provides a summary and source link only.