{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:BHU5QBCFHWWSPMZY36RTGZJ3X5","short_pith_number":"pith:BHU5QBCF","schema_version":"1.0","canonical_sha256":"09e9d804453dad27b338dfa333653bbf4e1058f65a529a31fb8ce399eb2267f7","source":{"kind":"arxiv","id":"1507.02531","version":1},"attestation_state":"computed","paper":{"title":"Cooperative Reactive Synthesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Robert Koenighofer, Roderick Bloem, Ruediger Ehlers","submitted_at":"2015-07-09T14:39:25Z","abstract_excerpt":"A modern approach to engineering correct-by-construction systems is to synthesize them automatically from formal specifications. Oftentimes, a system can only satisfy its guarantees if certain environment assumptions hold, which motivates their inclusion in the system specification. Experience with modern synthesis approaches shows that synthesized systems tend to satisfy their specifications by actively working towards the violation of the assumptions rather than satisfying assumptions and guarantees together. Such uncooperative behavior is undesirable because it violates the aim of synthesis"},"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":"1507.02531","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-07-09T14:39:25Z","cross_cats_sorted":[],"title_canon_sha256":"f293c7e8c90088e230568bce2b8f58cca86a2e812c1130fc4bb8f6095a6a196b","abstract_canon_sha256":"63f9afce52c7ad500ac56223e6a8861e0767639002064eb8a3e4941816442a0e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:06.445740Z","signature_b64":"gmcbHj59ASAWesH1dHQXJUFETZVm8P3S00EocjVoOSwZKbbsSsFsbJuef6hHAgz5GLt4Y0MKM4cwRX1NKewWDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"09e9d804453dad27b338dfa333653bbf4e1058f65a529a31fb8ce399eb2267f7","last_reissued_at":"2026-05-18T01:37:06.445078Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:06.445078Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Cooperative Reactive Synthesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Robert Koenighofer, Roderick Bloem, Ruediger Ehlers","submitted_at":"2015-07-09T14:39:25Z","abstract_excerpt":"A modern approach to engineering correct-by-construction systems is to synthesize them automatically from formal specifications. Oftentimes, a system can only satisfy its guarantees if certain environment assumptions hold, which motivates their inclusion in the system specification. Experience with modern synthesis approaches shows that synthesized systems tend to satisfy their specifications by actively working towards the violation of the assumptions rather than satisfying assumptions and guarantees together. Such uncooperative behavior is undesirable because it violates the aim of synthesis"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.02531","kind":"arxiv","version":1},"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":"1507.02531","created_at":"2026-05-18T01:37:06.445160+00:00"},{"alias_kind":"arxiv_version","alias_value":"1507.02531v1","created_at":"2026-05-18T01:37:06.445160+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.02531","created_at":"2026-05-18T01:37:06.445160+00:00"},{"alias_kind":"pith_short_12","alias_value":"BHU5QBCFHWWS","created_at":"2026-05-18T12:29:14.074870+00:00"},{"alias_kind":"pith_short_16","alias_value":"BHU5QBCFHWWSPMZY","created_at":"2026-05-18T12:29:14.074870+00:00"},{"alias_kind":"pith_short_8","alias_value":"BHU5QBCF","created_at":"2026-05-18T12:29:14.074870+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/BHU5QBCFHWWSPMZY36RTGZJ3X5","json":"https://pith.science/pith/BHU5QBCFHWWSPMZY36RTGZJ3X5.json","graph_json":"https://pith.science/api/pith-number/BHU5QBCFHWWSPMZY36RTGZJ3X5/graph.json","events_json":"https://pith.science/api/pith-number/BHU5QBCFHWWSPMZY36RTGZJ3X5/events.json","paper":"https://pith.science/paper/BHU5QBCF"},"agent_actions":{"view_html":"https://pith.science/pith/BHU5QBCFHWWSPMZY36RTGZJ3X5","download_json":"https://pith.science/pith/BHU5QBCFHWWSPMZY36RTGZJ3X5.json","view_paper":"https://pith.science/paper/BHU5QBCF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1507.02531&json=true","fetch_graph":"https://pith.science/api/pith-number/BHU5QBCFHWWSPMZY36RTGZJ3X5/graph.json","fetch_events":"https://pith.science/api/pith-number/BHU5QBCFHWWSPMZY36RTGZJ3X5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BHU5QBCFHWWSPMZY36RTGZJ3X5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BHU5QBCFHWWSPMZY36RTGZJ3X5/action/storage_attestation","attest_author":"https://pith.science/pith/BHU5QBCFHWWSPMZY36RTGZJ3X5/action/author_attestation","sign_citation":"https://pith.science/pith/BHU5QBCFHWWSPMZY36RTGZJ3X5/action/citation_signature","submit_replication":"https://pith.science/pith/BHU5QBCFHWWSPMZY36RTGZJ3X5/action/replication_record"}},"created_at":"2026-05-18T01:37:06.445160+00:00","updated_at":"2026-05-18T01:37:06.445160+00:00"}