{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:EUV4ZBJBKI3TVA73SGO5ULPCD3","short_pith_number":"pith:EUV4ZBJB","schema_version":"1.0","canonical_sha256":"252bcc852152373a83fb919dda2de21ee5a817266f210891812dff2b614dbb8a","source":{"kind":"arxiv","id":"1611.07803","version":3},"attestation_state":"computed","paper":{"title":"Interpolation-Based GR(1) Assumptions Refinement","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Dalal Alrajeh, Davide G. Cavezza","submitted_at":"2016-11-23T14:12:15Z","abstract_excerpt":"This paper considers the problem of assumptions refinement in the context of unrealizable specifications for reactive systems. We propose a new counterstrategy-guided synthesis approach for GR(1) specifications based on Craig's interpolants. Our interpolation-based method identifies causes for unrealizability and computes assumptions that directly target unrealizable cores, without the need for user input. Thereby, we discuss how this property reduces the maximum number of steps needed to converge to realizability compared with other techniques. We describe properties of interpolants that yiel"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1611.07803","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-11-23T14:12:15Z","cross_cats_sorted":[],"title_canon_sha256":"a2de2ea6a32b54734545ae12a60eb3b4d546a9af7ef2acf8e2dd0d6b02f21b45","abstract_canon_sha256":"14e8ac736f81f2ff186932b03ea8dfb6611ef84d56dd3d1be4d5555f4597b999"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:01:53.709459Z","signature_b64":"bDy+pjebd3m00VwKD8NR1v3YcE2CEJl8zRzGfucFORJ7Xt1XT3gGOxh0/xWwYodlo+utrOghloXJSa+SJSfoBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"252bcc852152373a83fb919dda2de21ee5a817266f210891812dff2b614dbb8a","last_reissued_at":"2026-05-18T00:01:53.708970Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:01:53.708970Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Interpolation-Based GR(1) Assumptions Refinement","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Dalal Alrajeh, Davide G. Cavezza","submitted_at":"2016-11-23T14:12:15Z","abstract_excerpt":"This paper considers the problem of assumptions refinement in the context of unrealizable specifications for reactive systems. We propose a new counterstrategy-guided synthesis approach for GR(1) specifications based on Craig's interpolants. Our interpolation-based method identifies causes for unrealizability and computes assumptions that directly target unrealizable cores, without the need for user input. Thereby, we discuss how this property reduces the maximum number of steps needed to converge to realizability compared with other techniques. We describe properties of interpolants that yiel"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.07803","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1611.07803","created_at":"2026-05-18T00:01:53.709050+00:00"},{"alias_kind":"arxiv_version","alias_value":"1611.07803v3","created_at":"2026-05-18T00:01:53.709050+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.07803","created_at":"2026-05-18T00:01:53.709050+00:00"},{"alias_kind":"pith_short_12","alias_value":"EUV4ZBJBKI3T","created_at":"2026-05-18T12:30:15.759754+00:00"},{"alias_kind":"pith_short_16","alias_value":"EUV4ZBJBKI3TVA73","created_at":"2026-05-18T12:30:15.759754+00:00"},{"alias_kind":"pith_short_8","alias_value":"EUV4ZBJB","created_at":"2026-05-18T12:30:15.759754+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/EUV4ZBJBKI3TVA73SGO5ULPCD3","json":"https://pith.science/pith/EUV4ZBJBKI3TVA73SGO5ULPCD3.json","graph_json":"https://pith.science/api/pith-number/EUV4ZBJBKI3TVA73SGO5ULPCD3/graph.json","events_json":"https://pith.science/api/pith-number/EUV4ZBJBKI3TVA73SGO5ULPCD3/events.json","paper":"https://pith.science/paper/EUV4ZBJB"},"agent_actions":{"view_html":"https://pith.science/pith/EUV4ZBJBKI3TVA73SGO5ULPCD3","download_json":"https://pith.science/pith/EUV4ZBJBKI3TVA73SGO5ULPCD3.json","view_paper":"https://pith.science/paper/EUV4ZBJB","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1611.07803&json=true","fetch_graph":"https://pith.science/api/pith-number/EUV4ZBJBKI3TVA73SGO5ULPCD3/graph.json","fetch_events":"https://pith.science/api/pith-number/EUV4ZBJBKI3TVA73SGO5ULPCD3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/EUV4ZBJBKI3TVA73SGO5ULPCD3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/EUV4ZBJBKI3TVA73SGO5ULPCD3/action/storage_attestation","attest_author":"https://pith.science/pith/EUV4ZBJBKI3TVA73SGO5ULPCD3/action/author_attestation","sign_citation":"https://pith.science/pith/EUV4ZBJBKI3TVA73SGO5ULPCD3/action/citation_signature","submit_replication":"https://pith.science/pith/EUV4ZBJBKI3TVA73SGO5ULPCD3/action/replication_record"}},"created_at":"2026-05-18T00:01:53.709050+00:00","updated_at":"2026-05-18T00:01:53.709050+00:00"}