{"schemaVersion":1,"target":{"type":"reading","id":"73274829102077d483e77a31b0ebfe01fd6d719e6045372398ae8396d614160c","revision":"c0cc1236-eaa8-4a23-8fdd-a42853e2c4f4","revisionKind":"publication-id","title":"Narter, Zhao and Incer present a framework for GR(1) contracts","url":"https://escapemeridian.com/readings/narter-zhao-and-incer-present-a-framework-for-gr-1-contracts-73274829"},"source":{"type":"source","id":"https://arxiv.org/abs/2610.37534","revision":"16d3d0ff8e32c6cb459ad7c8d33c664af3939ff47a2e699eaa4f47b55344af8a","revisionKind":"sha256-source-text","title":"Computing GR(1) Assume-Guarantee Contracts","url":"https://arxiv.org/abs/2610.37534"},"status":"available","items":[],"next":null,"scope":"Explicit citations in public readings and public file attachments to this reading. Shared topics are not citations. Other artifact types need an explicit reference adapter."}