{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:Y7PNPJAUCYBGECIUDMU4VEUL4B","short_pith_number":"pith:Y7PNPJAU","canonical_record":{"source":{"id":"1608.06567","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-08-23T16:21:19Z","cross_cats_sorted":[],"title_canon_sha256":"5883fac84b07a1f53818333b965eec6ce84cef3c726b7ba87ce558aa4780a2ea","abstract_canon_sha256":"9595d6ea95e22ed7d7783f63352a865e4fda6564f9b3a6d62637935401888e84"},"schema_version":"1.0"},"canonical_sha256":"c7ded7a41416026209141b29ca928be07564d97378bf8a25079d9ac546531124","source":{"kind":"arxiv","id":"1608.06567","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.06567","created_at":"2026-05-18T01:08:13Z"},{"alias_kind":"arxiv_version","alias_value":"1608.06567v1","created_at":"2026-05-18T01:08:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.06567","created_at":"2026-05-18T01:08:13Z"},{"alias_kind":"pith_short_12","alias_value":"Y7PNPJAUCYBG","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_16","alias_value":"Y7PNPJAUCYBGECIU","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_8","alias_value":"Y7PNPJAU","created_at":"2026-05-18T12:30:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:Y7PNPJAUCYBGECIUDMU4VEUL4B","target":"record","payload":{"canonical_record":{"source":{"id":"1608.06567","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-08-23T16:21:19Z","cross_cats_sorted":[],"title_canon_sha256":"5883fac84b07a1f53818333b965eec6ce84cef3c726b7ba87ce558aa4780a2ea","abstract_canon_sha256":"9595d6ea95e22ed7d7783f63352a865e4fda6564f9b3a6d62637935401888e84"},"schema_version":"1.0"},"canonical_sha256":"c7ded7a41416026209141b29ca928be07564d97378bf8a25079d9ac546531124","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:08:13.735047Z","signature_b64":"bbPVcmTbrnsNAIjO/wVNFQWcOiFlx4GORRw8CJgmtPMv4JTN7kfaAVzXHEtnMQNxx3IKYHSrygljW7ruyqYOAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c7ded7a41416026209141b29ca928be07564d97378bf8a25079d9ac546531124","last_reissued_at":"2026-05-18T01:08:13.734539Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:08:13.734539Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1608.06567","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:08:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XXsZIEMzif8sZUeVaGzeeJuX00g7FoMU15qCWclBYaQceQ4Jf5l1zQbBauedIqzZ9SVKCZriCk/alBYKzI3YAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T00:22:44.876294Z"},"content_sha256":"049e3eb93e67a1d4f65a741c9d5cd193205e8cea43331dc599d55d2918a577d2","schema_version":"1.0","event_id":"sha256:049e3eb93e67a1d4f65a741c9d5cd193205e8cea43331dc599d55d2918a577d2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:Y7PNPJAUCYBGECIUDMU4VEUL4B","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"High-Quality Synthesis Against Stochastic Environments","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Orna Kupferman, Shaull Almagor","submitted_at":"2016-08-23T16:21:19Z","abstract_excerpt":"In the classical synthesis problem, we are given an LTL formula psi over sets of input and output signals, and we synthesize a transducer that realizes psi. One weakness of automated synthesis in practice is that it pays no attention to the quality of the synthesized system. Indeed, the classical setting is Boolean: a computation satisfies a specification or does not satisfy it. Accordingly, while the synthesized system is correct, there is no guarantee about its quality. In recent years, researchers have considered extensions of the classical Boolean setting to a quantitative one. The logic L"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.06567","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:08:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"91ekyGXj9bB52VNilanUvL2B6/2ksZ5eM4/p7ZMCM4k5opg0SAVY3C/7cLtj4d3iHlzNTp6CBpsWIyUqhYFuBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T00:22:44.876913Z"},"content_sha256":"a69711210c30b50786f6842059d509f9384524f87c5cb5b81b2d837b77cd9c7b","schema_version":"1.0","event_id":"sha256:a69711210c30b50786f6842059d509f9384524f87c5cb5b81b2d837b77cd9c7b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Y7PNPJAUCYBGECIUDMU4VEUL4B/bundle.json","state_url":"https://pith.science/pith/Y7PNPJAUCYBGECIUDMU4VEUL4B/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Y7PNPJAUCYBGECIUDMU4VEUL4B/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-25T00:22:44Z","links":{"resolver":"https://pith.science/pith/Y7PNPJAUCYBGECIUDMU4VEUL4B","bundle":"https://pith.science/pith/Y7PNPJAUCYBGECIUDMU4VEUL4B/bundle.json","state":"https://pith.science/pith/Y7PNPJAUCYBGECIUDMU4VEUL4B/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Y7PNPJAUCYBGECIUDMU4VEUL4B/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:Y7PNPJAUCYBGECIUDMU4VEUL4B","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"9595d6ea95e22ed7d7783f63352a865e4fda6564f9b3a6d62637935401888e84","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-08-23T16:21:19Z","title_canon_sha256":"5883fac84b07a1f53818333b965eec6ce84cef3c726b7ba87ce558aa4780a2ea"},"schema_version":"1.0","source":{"id":"1608.06567","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.06567","created_at":"2026-05-18T01:08:13Z"},{"alias_kind":"arxiv_version","alias_value":"1608.06567v1","created_at":"2026-05-18T01:08:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.06567","created_at":"2026-05-18T01:08:13Z"},{"alias_kind":"pith_short_12","alias_value":"Y7PNPJAUCYBG","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_16","alias_value":"Y7PNPJAUCYBGECIU","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_8","alias_value":"Y7PNPJAU","created_at":"2026-05-18T12:30:53Z"}],"graph_snapshots":[{"event_id":"sha256:a69711210c30b50786f6842059d509f9384524f87c5cb5b81b2d837b77cd9c7b","target":"graph","created_at":"2026-05-18T01:08:13Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"In the classical synthesis problem, we are given an LTL formula psi over sets of input and output signals, and we synthesize a transducer that realizes psi. One weakness of automated synthesis in practice is that it pays no attention to the quality of the synthesized system. Indeed, the classical setting is Boolean: a computation satisfies a specification or does not satisfy it. Accordingly, while the synthesized system is correct, there is no guarantee about its quality. In recent years, researchers have considered extensions of the classical Boolean setting to a quantitative one. The logic L","authors_text":"Orna Kupferman, Shaull Almagor","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-08-23T16:21:19Z","title":"High-Quality Synthesis Against Stochastic Environments"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.06567","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:049e3eb93e67a1d4f65a741c9d5cd193205e8cea43331dc599d55d2918a577d2","target":"record","created_at":"2026-05-18T01:08:13Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"9595d6ea95e22ed7d7783f63352a865e4fda6564f9b3a6d62637935401888e84","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-08-23T16:21:19Z","title_canon_sha256":"5883fac84b07a1f53818333b965eec6ce84cef3c726b7ba87ce558aa4780a2ea"},"schema_version":"1.0","source":{"id":"1608.06567","kind":"arxiv","version":1}},"canonical_sha256":"c7ded7a41416026209141b29ca928be07564d97378bf8a25079d9ac546531124","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c7ded7a41416026209141b29ca928be07564d97378bf8a25079d9ac546531124","first_computed_at":"2026-05-18T01:08:13.734539Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:08:13.734539Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bbPVcmTbrnsNAIjO/wVNFQWcOiFlx4GORRw8CJgmtPMv4JTN7kfaAVzXHEtnMQNxx3IKYHSrygljW7ruyqYOAA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:08:13.735047Z","signed_message":"canonical_sha256_bytes"},"source_id":"1608.06567","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:049e3eb93e67a1d4f65a741c9d5cd193205e8cea43331dc599d55d2918a577d2","sha256:a69711210c30b50786f6842059d509f9384524f87c5cb5b81b2d837b77cd9c7b"],"state_sha256":"748a85da314e5ecef106963e94899f7cef23a02a05afb814430c534bdfddaded"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MBdwTTFtglBmQFyqmLq+4/B6PHZVTVPMGG/wQ1ZSKqCUmTYGCGQ4CrKsgxWcLBzPbCxnkA8E9H25kxVQh3P6Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T00:22:44.880222Z","bundle_sha256":"75495578304d1ede1f0cbd4870b3c442467742a09fe0c78329cb6f7e5a2087dc"}}