{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:KDUGZOGLGZGEZ3GTMXZNC54Q5A","short_pith_number":"pith:KDUGZOGL","canonical_record":{"source":{"id":"1711.01823","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-06T10:40:20Z","cross_cats_sorted":[],"title_canon_sha256":"ef512810450345af358486297736d1e0dec4b00cc8640b62d00dadb8802303d5","abstract_canon_sha256":"416cbdbaec3150d8966b8b133aa15367a1c67816ee2bc8a50efd8f5f093520b7"},"schema_version":"1.0"},"canonical_sha256":"50e86cb8cb364c4cecd365f2d17790e81d7a6edac832f6bf6ab07151dab37a6f","source":{"kind":"arxiv","id":"1711.01823","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.01823","created_at":"2026-05-18T00:31:16Z"},{"alias_kind":"arxiv_version","alias_value":"1711.01823v1","created_at":"2026-05-18T00:31:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.01823","created_at":"2026-05-18T00:31:16Z"},{"alias_kind":"pith_short_12","alias_value":"KDUGZOGLGZGE","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_16","alias_value":"KDUGZOGLGZGEZ3GT","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_8","alias_value":"KDUGZOGL","created_at":"2026-05-18T12:31:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:KDUGZOGLGZGEZ3GTMXZNC54Q5A","target":"record","payload":{"canonical_record":{"source":{"id":"1711.01823","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-06T10:40:20Z","cross_cats_sorted":[],"title_canon_sha256":"ef512810450345af358486297736d1e0dec4b00cc8640b62d00dadb8802303d5","abstract_canon_sha256":"416cbdbaec3150d8966b8b133aa15367a1c67816ee2bc8a50efd8f5f093520b7"},"schema_version":"1.0"},"canonical_sha256":"50e86cb8cb364c4cecd365f2d17790e81d7a6edac832f6bf6ab07151dab37a6f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:31:16.758788Z","signature_b64":"5E0xziRw47PQfaiNeaTaHCrbvjCZvk+QxmMMYrLbjXeM/Cpw1u9tY/HYvcDy27U0By+QhYhoZw0T1eDND2HLBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"50e86cb8cb364c4cecd365f2d17790e81d7a6edac832f6bf6ab07151dab37a6f","last_reissued_at":"2026-05-18T00:31:16.758246Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:31:16.758246Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1711.01823","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-18T00:31:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kHBIZMLZbqytrDXn9G0yhAXZ7dAupHUWGpBgr1AlEcsiCb6S47paQfKL6xsI+afKwNpEqpspJDJQHc1JgY9/Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-03T22:58:43.354107Z"},"content_sha256":"63214de34f6ba997685864bb4514681158cde4a2d405253f8bf9469244a31ae7","schema_version":"1.0","event_id":"sha256:63214de34f6ba997685864bb4514681158cde4a2d405253f8bf9469244a31ae7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:KDUGZOGLGZGEZ3GTMXZNC54Q5A","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Amol Wakankar, Paritosh K. Pandya, Raj Mohan Matteplackel","submitted_at":"2017-11-06T10:40:20Z","abstract_excerpt":"DCSYNTH is a tool for the synthesis of controllers from safety and bounded liveness requirements given in interval temporal logic QDDC. It investigates the role of soft requirements (with priorities) in obtaining high quality controllers. A QDDC formula specifies past time properties. In DCSYNTH synthesis, hard requirements must be invariantly satisfied whereas soft requirements may be satisfied \"as much as possible\" in a best effort manner by the controller. Soft requirements provide an invaluable ability to guide the controller synthesis. In the paper, using DCSYNTH, we show the application "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.01823","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-18T00:31:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"B4c6mXHTi6727cwdRArwhAUXfBmunmMsa7sXIlZ2ghkZkya1wKk2RZ+qeof0axLZm1IbwEYvZlCxfiHD7vXcAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-03T22:58:43.354685Z"},"content_sha256":"775f3c325e1de29bfc98cee3e11fb5c09cee11bd456bdd5164e44f9935f5fed3","schema_version":"1.0","event_id":"sha256:775f3c325e1de29bfc98cee3e11fb5c09cee11bd456bdd5164e44f9935f5fed3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KDUGZOGLGZGEZ3GTMXZNC54Q5A/bundle.json","state_url":"https://pith.science/pith/KDUGZOGLGZGEZ3GTMXZNC54Q5A/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KDUGZOGLGZGEZ3GTMXZNC54Q5A/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-07-03T22:58:43Z","links":{"resolver":"https://pith.science/pith/KDUGZOGLGZGEZ3GTMXZNC54Q5A","bundle":"https://pith.science/pith/KDUGZOGLGZGEZ3GTMXZNC54Q5A/bundle.json","state":"https://pith.science/pith/KDUGZOGLGZGEZ3GTMXZNC54Q5A/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KDUGZOGLGZGEZ3GTMXZNC54Q5A/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:KDUGZOGLGZGEZ3GTMXZNC54Q5A","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":"416cbdbaec3150d8966b8b133aa15367a1c67816ee2bc8a50efd8f5f093520b7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-06T10:40:20Z","title_canon_sha256":"ef512810450345af358486297736d1e0dec4b00cc8640b62d00dadb8802303d5"},"schema_version":"1.0","source":{"id":"1711.01823","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.01823","created_at":"2026-05-18T00:31:16Z"},{"alias_kind":"arxiv_version","alias_value":"1711.01823v1","created_at":"2026-05-18T00:31:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.01823","created_at":"2026-05-18T00:31:16Z"},{"alias_kind":"pith_short_12","alias_value":"KDUGZOGLGZGE","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_16","alias_value":"KDUGZOGLGZGEZ3GT","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_8","alias_value":"KDUGZOGL","created_at":"2026-05-18T12:31:24Z"}],"graph_snapshots":[{"event_id":"sha256:775f3c325e1de29bfc98cee3e11fb5c09cee11bd456bdd5164e44f9935f5fed3","target":"graph","created_at":"2026-05-18T00:31:16Z","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":"DCSYNTH is a tool for the synthesis of controllers from safety and bounded liveness requirements given in interval temporal logic QDDC. It investigates the role of soft requirements (with priorities) in obtaining high quality controllers. A QDDC formula specifies past time properties. In DCSYNTH synthesis, hard requirements must be invariantly satisfied whereas soft requirements may be satisfied \"as much as possible\" in a best effort manner by the controller. Soft requirements provide an invaluable ability to guide the controller synthesis. In the paper, using DCSYNTH, we show the application ","authors_text":"Amol Wakankar, Paritosh K. Pandya, Raj Mohan Matteplackel","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-06T10:40:20Z","title":"DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.01823","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:63214de34f6ba997685864bb4514681158cde4a2d405253f8bf9469244a31ae7","target":"record","created_at":"2026-05-18T00:31:16Z","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":"416cbdbaec3150d8966b8b133aa15367a1c67816ee2bc8a50efd8f5f093520b7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-06T10:40:20Z","title_canon_sha256":"ef512810450345af358486297736d1e0dec4b00cc8640b62d00dadb8802303d5"},"schema_version":"1.0","source":{"id":"1711.01823","kind":"arxiv","version":1}},"canonical_sha256":"50e86cb8cb364c4cecd365f2d17790e81d7a6edac832f6bf6ab07151dab37a6f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"50e86cb8cb364c4cecd365f2d17790e81d7a6edac832f6bf6ab07151dab37a6f","first_computed_at":"2026-05-18T00:31:16.758246Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:31:16.758246Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5E0xziRw47PQfaiNeaTaHCrbvjCZvk+QxmMMYrLbjXeM/Cpw1u9tY/HYvcDy27U0By+QhYhoZw0T1eDND2HLBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:31:16.758788Z","signed_message":"canonical_sha256_bytes"},"source_id":"1711.01823","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:63214de34f6ba997685864bb4514681158cde4a2d405253f8bf9469244a31ae7","sha256:775f3c325e1de29bfc98cee3e11fb5c09cee11bd456bdd5164e44f9935f5fed3"],"state_sha256":"ad92253bd8a90133371db5f3d90e898d3a88488851d5783188bb0e172bb9216d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Hn4NeYZrQ8ao3YoOfqt3LjDd2m0Bs+SEFzqlOOsRFg3Ems7VHqEK31nMChrJBzVLoMV8t1oJXSRAMJ94mSoIBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-03T22:58:43.358206Z","bundle_sha256":"efd101b436e35239bdcd3128f4b57d9a971db8ca0a434d4a80d079846d6eb731"}}