{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:HKE6EYLE5NPIA5AXQ5WJ254PJ7","short_pith_number":"pith:HKE6EYLE","schema_version":"1.0","canonical_sha256":"3a89e26164eb5e807417876c9d778f4fe15ec4a810bcc5d525f81771b890ca82","source":{"kind":"arxiv","id":"1604.03471","version":1},"attestation_state":"computed","paper":{"title":"Optimal Assumptions for Synthesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Romain Brenguier","submitted_at":"2016-04-12T16:27:31Z","abstract_excerpt":"Controller synthesis is the process of constructing a correct system automatically from its specification. This often requires assumptions about the behaviour of the environment. It is difficult for the designer to identify the assumptions that ensures the existence of a correct controller, and doing so manually can lead to assumptions that are stronger than necessary. As a consequence the generated controllers are suboptimal in terms of generality and robustness. In this work, given a specification, we identify the weakest assumptions that ensures the existence of a controller. We also consid"},"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":"1604.03471","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-04-12T16:27:31Z","cross_cats_sorted":[],"title_canon_sha256":"e559ccb1be04079d451f7d09eb9464fbfa985dd19d53c4c62094338d0ab01016","abstract_canon_sha256":"acd65dd60664f24147077722c8db1f17059d8e98016928d5895f158177463546"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:17:13.457410Z","signature_b64":"BCxk8OuYs7ZBN2ReIjtZDezt8fIGauPX1jPPZtZXWDVrMoQvujSAA12gjEFsdFzOzp8cPTGoZAC0DjuFvX+qCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3a89e26164eb5e807417876c9d778f4fe15ec4a810bcc5d525f81771b890ca82","last_reissued_at":"2026-05-18T01:17:13.456698Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:17:13.456698Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Optimal Assumptions for Synthesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Romain Brenguier","submitted_at":"2016-04-12T16:27:31Z","abstract_excerpt":"Controller synthesis is the process of constructing a correct system automatically from its specification. This often requires assumptions about the behaviour of the environment. It is difficult for the designer to identify the assumptions that ensures the existence of a correct controller, and doing so manually can lead to assumptions that are stronger than necessary. As a consequence the generated controllers are suboptimal in terms of generality and robustness. In this work, given a specification, we identify the weakest assumptions that ensures the existence of a controller. We also consid"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.03471","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":"1604.03471","created_at":"2026-05-18T01:17:13.456810+00:00"},{"alias_kind":"arxiv_version","alias_value":"1604.03471v1","created_at":"2026-05-18T01:17:13.456810+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.03471","created_at":"2026-05-18T01:17:13.456810+00:00"},{"alias_kind":"pith_short_12","alias_value":"HKE6EYLE5NPI","created_at":"2026-05-18T12:30:19.053100+00:00"},{"alias_kind":"pith_short_16","alias_value":"HKE6EYLE5NPIA5AX","created_at":"2026-05-18T12:30:19.053100+00:00"},{"alias_kind":"pith_short_8","alias_value":"HKE6EYLE","created_at":"2026-05-18T12:30:19.053100+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/HKE6EYLE5NPIA5AXQ5WJ254PJ7","json":"https://pith.science/pith/HKE6EYLE5NPIA5AXQ5WJ254PJ7.json","graph_json":"https://pith.science/api/pith-number/HKE6EYLE5NPIA5AXQ5WJ254PJ7/graph.json","events_json":"https://pith.science/api/pith-number/HKE6EYLE5NPIA5AXQ5WJ254PJ7/events.json","paper":"https://pith.science/paper/HKE6EYLE"},"agent_actions":{"view_html":"https://pith.science/pith/HKE6EYLE5NPIA5AXQ5WJ254PJ7","download_json":"https://pith.science/pith/HKE6EYLE5NPIA5AXQ5WJ254PJ7.json","view_paper":"https://pith.science/paper/HKE6EYLE","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1604.03471&json=true","fetch_graph":"https://pith.science/api/pith-number/HKE6EYLE5NPIA5AXQ5WJ254PJ7/graph.json","fetch_events":"https://pith.science/api/pith-number/HKE6EYLE5NPIA5AXQ5WJ254PJ7/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/HKE6EYLE5NPIA5AXQ5WJ254PJ7/action/timestamp_anchor","attest_storage":"https://pith.science/pith/HKE6EYLE5NPIA5AXQ5WJ254PJ7/action/storage_attestation","attest_author":"https://pith.science/pith/HKE6EYLE5NPIA5AXQ5WJ254PJ7/action/author_attestation","sign_citation":"https://pith.science/pith/HKE6EYLE5NPIA5AXQ5WJ254PJ7/action/citation_signature","submit_replication":"https://pith.science/pith/HKE6EYLE5NPIA5AXQ5WJ254PJ7/action/replication_record"}},"created_at":"2026-05-18T01:17:13.456810+00:00","updated_at":"2026-05-18T01:17:13.456810+00:00"}