{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:B6DLWMTA6Q4UBZ6W64NRMUIKHO","short_pith_number":"pith:B6DLWMTA","canonical_record":{"source":{"id":"1608.00654","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2016-08-02T00:36:32Z","cross_cats_sorted":["cs.GT"],"title_canon_sha256":"84d6f2b1a18d703ddf0b8b83826fc5cf0fa7af2f169419cdd5458a0d71b56d6a","abstract_canon_sha256":"dbbae11f91a66c1cbd30ec4afcfe42a854337d1541a930f7180cb0644125d994"},"schema_version":"1.0"},"canonical_sha256":"0f86bb3260f43940e7d6f71b16510a3b98a9b9f24ceb045dc16146f5f11900b7","source":{"kind":"arxiv","id":"1608.00654","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.00654","created_at":"2026-05-18T01:10:01Z"},{"alias_kind":"arxiv_version","alias_value":"1608.00654v1","created_at":"2026-05-18T01:10:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.00654","created_at":"2026-05-18T01:10:01Z"},{"alias_kind":"pith_short_12","alias_value":"B6DLWMTA6Q4U","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_16","alias_value":"B6DLWMTA6Q4UBZ6W","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_8","alias_value":"B6DLWMTA","created_at":"2026-05-18T12:30:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:B6DLWMTA6Q4UBZ6W64NRMUIKHO","target":"record","payload":{"canonical_record":{"source":{"id":"1608.00654","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2016-08-02T00:36:32Z","cross_cats_sorted":["cs.GT"],"title_canon_sha256":"84d6f2b1a18d703ddf0b8b83826fc5cf0fa7af2f169419cdd5458a0d71b56d6a","abstract_canon_sha256":"dbbae11f91a66c1cbd30ec4afcfe42a854337d1541a930f7180cb0644125d994"},"schema_version":"1.0"},"canonical_sha256":"0f86bb3260f43940e7d6f71b16510a3b98a9b9f24ceb045dc16146f5f11900b7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:10:01.437355Z","signature_b64":"X7QM/oZGexxmqKrASg4Upkqb1LlimqStOx31OTmNuNSo8j6pFfdxsVP9L5PdqfyMrxRPrSlqA2IfSnA/D+vXAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0f86bb3260f43940e7d6f71b16510a3b98a9b9f24ceb045dc16146f5f11900b7","last_reissued_at":"2026-05-18T01:10:01.436656Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:10:01.436656Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1608.00654","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:10:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"imFYfElLXOLge6W6WsZQqCfB88SpMrT+BMoWKBHlPBq3S7hGI+gvB+2xwNehmJpnRRz9ScQhL/RRTZfIqiO+BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T14:24:52.298422Z"},"content_sha256":"ad00b08b1319fd24f510d5a4a2d4b86e8bedf750ff63f0224b66fc4d46a3d83a","schema_version":"1.0","event_id":"sha256:ad00b08b1319fd24f510d5a4a2d4b86e8bedf750ff63f0224b66fc4d46a3d83a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:B6DLWMTA6Q4UBZ6W64NRMUIKHO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Two-Buffer Simulation Games","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.GT"],"primary_cat":"cs.FL","authors_text":"CNRS, Dietrich Kuske (Technische Universit\\\"at Ilmenau, ENS Cachan, Etienne Lozes (LSV, France), Germany), Martin Lange (University of Kassel, Milka Hutagalung (University of Kassel, Norbert Hundeshagen (University of Kassel","submitted_at":"2016-08-02T00:36:32Z","abstract_excerpt":"We consider simulation games played between Spoiler and Duplicator on two Buchi automata in which the choices made by Spoiler can be buffered by Duplicator in two different buffers before she executes them on her structure. Previous work on such games using a single buffer has shown that they are useful to approximate language inclusion problems. We study the decidability and complexity and show that games with two buffers can be used to approximate corresponding problems on finite transducers, i.e. the inclusion problem for rational relations over infinite words."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.00654","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:10:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"f32mIogiNM0A7p0uttP4slG3d21hy23S687t9Rr28jhIBjXrNHcZu8e4jXNKut9JNWgd/EpDdmPltQq2mO4DDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T14:24:52.298780Z"},"content_sha256":"54a8fa85486093b211e3d69986761047d48b070dc16aa3750c08a164d270add7","schema_version":"1.0","event_id":"sha256:54a8fa85486093b211e3d69986761047d48b070dc16aa3750c08a164d270add7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/B6DLWMTA6Q4UBZ6W64NRMUIKHO/bundle.json","state_url":"https://pith.science/pith/B6DLWMTA6Q4UBZ6W64NRMUIKHO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/B6DLWMTA6Q4UBZ6W64NRMUIKHO/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-30T14:24:52Z","links":{"resolver":"https://pith.science/pith/B6DLWMTA6Q4UBZ6W64NRMUIKHO","bundle":"https://pith.science/pith/B6DLWMTA6Q4UBZ6W64NRMUIKHO/bundle.json","state":"https://pith.science/pith/B6DLWMTA6Q4UBZ6W64NRMUIKHO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/B6DLWMTA6Q4UBZ6W64NRMUIKHO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:B6DLWMTA6Q4UBZ6W64NRMUIKHO","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":"dbbae11f91a66c1cbd30ec4afcfe42a854337d1541a930f7180cb0644125d994","cross_cats_sorted":["cs.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2016-08-02T00:36:32Z","title_canon_sha256":"84d6f2b1a18d703ddf0b8b83826fc5cf0fa7af2f169419cdd5458a0d71b56d6a"},"schema_version":"1.0","source":{"id":"1608.00654","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.00654","created_at":"2026-05-18T01:10:01Z"},{"alias_kind":"arxiv_version","alias_value":"1608.00654v1","created_at":"2026-05-18T01:10:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.00654","created_at":"2026-05-18T01:10:01Z"},{"alias_kind":"pith_short_12","alias_value":"B6DLWMTA6Q4U","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_16","alias_value":"B6DLWMTA6Q4UBZ6W","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_8","alias_value":"B6DLWMTA","created_at":"2026-05-18T12:30:07Z"}],"graph_snapshots":[{"event_id":"sha256:54a8fa85486093b211e3d69986761047d48b070dc16aa3750c08a164d270add7","target":"graph","created_at":"2026-05-18T01:10:01Z","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":"We consider simulation games played between Spoiler and Duplicator on two Buchi automata in which the choices made by Spoiler can be buffered by Duplicator in two different buffers before she executes them on her structure. Previous work on such games using a single buffer has shown that they are useful to approximate language inclusion problems. We study the decidability and complexity and show that games with two buffers can be used to approximate corresponding problems on finite transducers, i.e. the inclusion problem for rational relations over infinite words.","authors_text":"CNRS, Dietrich Kuske (Technische Universit\\\"at Ilmenau, ENS Cachan, Etienne Lozes (LSV, France), Germany), Martin Lange (University of Kassel, Milka Hutagalung (University of Kassel, Norbert Hundeshagen (University of Kassel","cross_cats":["cs.GT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2016-08-02T00:36:32Z","title":"Two-Buffer Simulation Games"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.00654","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:ad00b08b1319fd24f510d5a4a2d4b86e8bedf750ff63f0224b66fc4d46a3d83a","target":"record","created_at":"2026-05-18T01:10:01Z","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":"dbbae11f91a66c1cbd30ec4afcfe42a854337d1541a930f7180cb0644125d994","cross_cats_sorted":["cs.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2016-08-02T00:36:32Z","title_canon_sha256":"84d6f2b1a18d703ddf0b8b83826fc5cf0fa7af2f169419cdd5458a0d71b56d6a"},"schema_version":"1.0","source":{"id":"1608.00654","kind":"arxiv","version":1}},"canonical_sha256":"0f86bb3260f43940e7d6f71b16510a3b98a9b9f24ceb045dc16146f5f11900b7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0f86bb3260f43940e7d6f71b16510a3b98a9b9f24ceb045dc16146f5f11900b7","first_computed_at":"2026-05-18T01:10:01.436656Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:10:01.436656Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"X7QM/oZGexxmqKrASg4Upkqb1LlimqStOx31OTmNuNSo8j6pFfdxsVP9L5PdqfyMrxRPrSlqA2IfSnA/D+vXAg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:10:01.437355Z","signed_message":"canonical_sha256_bytes"},"source_id":"1608.00654","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ad00b08b1319fd24f510d5a4a2d4b86e8bedf750ff63f0224b66fc4d46a3d83a","sha256:54a8fa85486093b211e3d69986761047d48b070dc16aa3750c08a164d270add7"],"state_sha256":"8910dbb574435cdbea4061bbb50331e4425c41988580153001fa3457cc84d3d8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Mhq+gi4AWJy/CnwfczuGOykzG4VzLbM/WdAYP2r2CMQJRwNCHqycppJaUbU7vkII9iTUHoJUmMw9u44RuvcOCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T14:24:52.300776Z","bundle_sha256":"b7f2157c10fd089db51339207a0ad8fa12aeac9b0877e76c00510ce83a1be3e7"}}