{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:3YF7EO5YVSD7YNPOAVOGXC5BLI","short_pith_number":"pith:3YF7EO5Y","canonical_record":{"source":{"id":"1701.06103","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-01-21T23:40:49Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"5c7f59cce46a8c7fcfc260427e04befa1192d2e0ebe044388c16686edc7ccd81","abstract_canon_sha256":"7c754dd0f3457e3bd548388dcaf863de8d28164dd922525c434aa430614cd7a1"},"schema_version":"1.0"},"canonical_sha256":"de0bf23bb8ac87fc35ee055c6b8ba15a3d80c55c7c1a4bb6ad3aba9273c789ef","source":{"kind":"arxiv","id":"1701.06103","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.06103","created_at":"2026-05-18T00:16:56Z"},{"alias_kind":"arxiv_version","alias_value":"1701.06103v1","created_at":"2026-05-18T00:16:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.06103","created_at":"2026-05-18T00:16:56Z"},{"alias_kind":"pith_short_12","alias_value":"3YF7EO5YVSD7","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"3YF7EO5YVSD7YNPO","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"3YF7EO5Y","created_at":"2026-05-18T12:30:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:3YF7EO5YVSD7YNPOAVOGXC5BLI","target":"record","payload":{"canonical_record":{"source":{"id":"1701.06103","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-01-21T23:40:49Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"5c7f59cce46a8c7fcfc260427e04befa1192d2e0ebe044388c16686edc7ccd81","abstract_canon_sha256":"7c754dd0f3457e3bd548388dcaf863de8d28164dd922525c434aa430614cd7a1"},"schema_version":"1.0"},"canonical_sha256":"de0bf23bb8ac87fc35ee055c6b8ba15a3d80c55c7c1a4bb6ad3aba9273c789ef","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:16:56.605243Z","signature_b64":"8LFi1fmEK4gVyeXgLVyBKnmLxFlm96YdblZqr8V72ewhvzeZOGj5oFkrWBJFn0dqtsV9rbbicwRk9BCqxipAAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"de0bf23bb8ac87fc35ee055c6b8ba15a3d80c55c7c1a4bb6ad3aba9273c789ef","last_reissued_at":"2026-05-18T00:16:56.604621Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:16:56.604621Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1701.06103","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:16:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OFu/MwDa2N8Oz2mB+FDiNQhW9e8+SEGv8ntFaYacbh0z7zEuQ+WFjQjA0amKxEfiW9zyJh2hs2I4vUkaID6+DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T06:57:17.409083Z"},"content_sha256":"33c8136ff67a475c183bdac0e364b74953672a6075c404b133cec39b9e00bb82","schema_version":"1.0","event_id":"sha256:33c8136ff67a475c183bdac0e364b74953672a6075c404b133cec39b9e00bb82"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:3YF7EO5YVSD7YNPOAVOGXC5BLI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"From LTL and Limit-Deterministic B\\\"uchi Automata to Deterministic Parity Automata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.LO","authors_text":"Jan K\\v{r}et\\'insk\\'y, Javier Esparza, Jean-Fran\\c{c}ois Raskin, Salomon Sickert","submitted_at":"2017-01-21T23:40:49Z","abstract_excerpt":"Controller synthesis for general linear temporal logic (LTL) objectives is a challenging task. The standard approach involves translating the LTL objective into a deterministic parity automaton (DPA) by means of the Safra-Piterman construction. One of the challenges is the size of the DPA, which often grows very fast in practice, and can reach double exponential size in the length of the LTL formula. In this paper we describe a single exponential translation from limit-deterministic B\\\"uchi automata (LDBA) to DPA, and show that it can be concatenated with a recent efficient translation from LT"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.06103","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:16:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dDGsJ79/wGMSFtbh2uAnVUErURjCtaVnCKA+S+GBo2Fqg0dpI4ojEtJe2DI4K81isdmO/tLreR8zO2E9ce0RDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T06:57:17.409447Z"},"content_sha256":"54829d5a4c6c4f5eecc966ef6e943ac61c62a91b94fe910e974dd35c797ea5e2","schema_version":"1.0","event_id":"sha256:54829d5a4c6c4f5eecc966ef6e943ac61c62a91b94fe910e974dd35c797ea5e2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3YF7EO5YVSD7YNPOAVOGXC5BLI/bundle.json","state_url":"https://pith.science/pith/3YF7EO5YVSD7YNPOAVOGXC5BLI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3YF7EO5YVSD7YNPOAVOGXC5BLI/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-06-24T06:57:17Z","links":{"resolver":"https://pith.science/pith/3YF7EO5YVSD7YNPOAVOGXC5BLI","bundle":"https://pith.science/pith/3YF7EO5YVSD7YNPOAVOGXC5BLI/bundle.json","state":"https://pith.science/pith/3YF7EO5YVSD7YNPOAVOGXC5BLI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3YF7EO5YVSD7YNPOAVOGXC5BLI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:3YF7EO5YVSD7YNPOAVOGXC5BLI","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":"7c754dd0f3457e3bd548388dcaf863de8d28164dd922525c434aa430614cd7a1","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-01-21T23:40:49Z","title_canon_sha256":"5c7f59cce46a8c7fcfc260427e04befa1192d2e0ebe044388c16686edc7ccd81"},"schema_version":"1.0","source":{"id":"1701.06103","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.06103","created_at":"2026-05-18T00:16:56Z"},{"alias_kind":"arxiv_version","alias_value":"1701.06103v1","created_at":"2026-05-18T00:16:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.06103","created_at":"2026-05-18T00:16:56Z"},{"alias_kind":"pith_short_12","alias_value":"3YF7EO5YVSD7","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"3YF7EO5YVSD7YNPO","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"3YF7EO5Y","created_at":"2026-05-18T12:30:58Z"}],"graph_snapshots":[{"event_id":"sha256:54829d5a4c6c4f5eecc966ef6e943ac61c62a91b94fe910e974dd35c797ea5e2","target":"graph","created_at":"2026-05-18T00:16:56Z","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":"Controller synthesis for general linear temporal logic (LTL) objectives is a challenging task. The standard approach involves translating the LTL objective into a deterministic parity automaton (DPA) by means of the Safra-Piterman construction. One of the challenges is the size of the DPA, which often grows very fast in practice, and can reach double exponential size in the length of the LTL formula. In this paper we describe a single exponential translation from limit-deterministic B\\\"uchi automata (LDBA) to DPA, and show that it can be concatenated with a recent efficient translation from LT","authors_text":"Jan K\\v{r}et\\'insk\\'y, Javier Esparza, Jean-Fran\\c{c}ois Raskin, Salomon Sickert","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-01-21T23:40:49Z","title":"From LTL and Limit-Deterministic B\\\"uchi Automata to Deterministic Parity Automata"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.06103","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:33c8136ff67a475c183bdac0e364b74953672a6075c404b133cec39b9e00bb82","target":"record","created_at":"2026-05-18T00:16:56Z","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":"7c754dd0f3457e3bd548388dcaf863de8d28164dd922525c434aa430614cd7a1","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-01-21T23:40:49Z","title_canon_sha256":"5c7f59cce46a8c7fcfc260427e04befa1192d2e0ebe044388c16686edc7ccd81"},"schema_version":"1.0","source":{"id":"1701.06103","kind":"arxiv","version":1}},"canonical_sha256":"de0bf23bb8ac87fc35ee055c6b8ba15a3d80c55c7c1a4bb6ad3aba9273c789ef","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"de0bf23bb8ac87fc35ee055c6b8ba15a3d80c55c7c1a4bb6ad3aba9273c789ef","first_computed_at":"2026-05-18T00:16:56.604621Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:16:56.604621Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8LFi1fmEK4gVyeXgLVyBKnmLxFlm96YdblZqr8V72ewhvzeZOGj5oFkrWBJFn0dqtsV9rbbicwRk9BCqxipAAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:16:56.605243Z","signed_message":"canonical_sha256_bytes"},"source_id":"1701.06103","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:33c8136ff67a475c183bdac0e364b74953672a6075c404b133cec39b9e00bb82","sha256:54829d5a4c6c4f5eecc966ef6e943ac61c62a91b94fe910e974dd35c797ea5e2"],"state_sha256":"2f7c4f8805c8233af8c0382da34ea01d61c1713ce4c2a768cb89336d1c07714d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KPx/WdxOnp07zwT1gvFw2LnyapFh788vY3UFATvcSROZc/9UAImH/HlMkhKGsDGasvLzrNDdM2v96j2hBrHcAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T06:57:17.411506Z","bundle_sha256":"eb0bf05fb71e2a3111a0d59b9b8596467a74f1c9d6839c5f7e04aa83a170cb14"}}