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

- Source: arXiv cs.RO
- Published: 2026-10-27T04:00:00.000Z
- RoboHot: https://robohot.news/en/items/pqxvp58sgiveyl02l0ievuqd4
- Original: https://arxiv.org/abs/2610.33349

## Summary

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.