{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:PMKG6KQ7WBATNR52CWIJ74QEHS","short_pith_number":"pith:PMKG6KQ7","schema_version":"1.0","canonical_sha256":"7b146f2a1fb04136c7ba15909ff2043c8b66b8b893357e1e1a09d0cc22bacf62","source":{"kind":"arxiv","id":"1407.5395","version":1},"attestation_state":"computed","paper":{"title":"How to Handle Assumptions in Synthesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Robert K\\\"onighofer (Graz University of Technology), Roderick Bloem (Graz University of Technology), R\\\"udiger Ehlers (University of Bremen / DFKI), Swen Jacobs (Graz University of Technology)","submitted_at":"2014-07-21T07:28:18Z","abstract_excerpt":"The increased interest in reactive synthesis over the last decade has led to many improved solutions but also to many new questions. In this paper, we discuss the question of how to deal with assumptions on environment behavior. We present four goals that we think should be met and review several different possibilities that have been proposed. We argue that each of them falls short in at least one aspect."},"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":"1407.5395","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-07-21T07:28:18Z","cross_cats_sorted":[],"title_canon_sha256":"aa8f9adcc82a2cd4a89ac84fd184808ff3ccd22dd4be5089cbcdb69d494b8de0","abstract_canon_sha256":"1d7f57d16a12f055fb9b0298998a0b2a7aff5fb8b08a405ce316ff738ee4503f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:47:14.112792Z","signature_b64":"SHGnMq7gEHIMMBQdpyP9hL1imMnHQKATBrQqShpb6QMpMxBjD38Pc/yWXiUvak6EnUbfzYWE+kknk1zz6sSTCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7b146f2a1fb04136c7ba15909ff2043c8b66b8b893357e1e1a09d0cc22bacf62","last_reissued_at":"2026-05-18T02:47:14.112243Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:47:14.112243Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"How to Handle Assumptions in Synthesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Robert K\\\"onighofer (Graz University of Technology), Roderick Bloem (Graz University of Technology), R\\\"udiger Ehlers (University of Bremen / DFKI), Swen Jacobs (Graz University of Technology)","submitted_at":"2014-07-21T07:28:18Z","abstract_excerpt":"The increased interest in reactive synthesis over the last decade has led to many improved solutions but also to many new questions. In this paper, we discuss the question of how to deal with assumptions on environment behavior. We present four goals that we think should be met and review several different possibilities that have been proposed. We argue that each of them falls short in at least one aspect."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.5395","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":"1407.5395","created_at":"2026-05-18T02:47:14.112335+00:00"},{"alias_kind":"arxiv_version","alias_value":"1407.5395v1","created_at":"2026-05-18T02:47:14.112335+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.5395","created_at":"2026-05-18T02:47:14.112335+00:00"},{"alias_kind":"pith_short_12","alias_value":"PMKG6KQ7WBAT","created_at":"2026-05-18T12:28:43.426989+00:00"},{"alias_kind":"pith_short_16","alias_value":"PMKG6KQ7WBATNR52","created_at":"2026-05-18T12:28:43.426989+00:00"},{"alias_kind":"pith_short_8","alias_value":"PMKG6KQ7","created_at":"2026-05-18T12:28:43.426989+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/PMKG6KQ7WBATNR52CWIJ74QEHS","json":"https://pith.science/pith/PMKG6KQ7WBATNR52CWIJ74QEHS.json","graph_json":"https://pith.science/api/pith-number/PMKG6KQ7WBATNR52CWIJ74QEHS/graph.json","events_json":"https://pith.science/api/pith-number/PMKG6KQ7WBATNR52CWIJ74QEHS/events.json","paper":"https://pith.science/paper/PMKG6KQ7"},"agent_actions":{"view_html":"https://pith.science/pith/PMKG6KQ7WBATNR52CWIJ74QEHS","download_json":"https://pith.science/pith/PMKG6KQ7WBATNR52CWIJ74QEHS.json","view_paper":"https://pith.science/paper/PMKG6KQ7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1407.5395&json=true","fetch_graph":"https://pith.science/api/pith-number/PMKG6KQ7WBATNR52CWIJ74QEHS/graph.json","fetch_events":"https://pith.science/api/pith-number/PMKG6KQ7WBATNR52CWIJ74QEHS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PMKG6KQ7WBATNR52CWIJ74QEHS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PMKG6KQ7WBATNR52CWIJ74QEHS/action/storage_attestation","attest_author":"https://pith.science/pith/PMKG6KQ7WBATNR52CWIJ74QEHS/action/author_attestation","sign_citation":"https://pith.science/pith/PMKG6KQ7WBATNR52CWIJ74QEHS/action/citation_signature","submit_replication":"https://pith.science/pith/PMKG6KQ7WBATNR52CWIJ74QEHS/action/replication_record"}},"created_at":"2026-05-18T02:47:14.112335+00:00","updated_at":"2026-05-18T02:47:14.112335+00:00"}