{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:SBVDR3YJ6FTM46RD7GESUQO6MN","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":"33c207eec72a6300d4bfa2f74890a2cbd0211ec4831aa9486617260ae304bf81","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-10-11T15:25:02Z","title_canon_sha256":"8e9a33a6d9cb5fa1e08edae2a76becd68696524a36e79e9283bab604c1f10d48"},"schema_version":"1.0","source":{"id":"1710.04115","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.04115","created_at":"2026-05-18T00:33:04Z"},{"alias_kind":"arxiv_version","alias_value":"1710.04115v1","created_at":"2026-05-18T00:33:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.04115","created_at":"2026-05-18T00:33:04Z"},{"alias_kind":"pith_short_12","alias_value":"SBVDR3YJ6FTM","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_16","alias_value":"SBVDR3YJ6FTM46RD","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_8","alias_value":"SBVDR3YJ","created_at":"2026-05-18T12:31:43Z"}],"graph_snapshots":[{"event_id":"sha256:38cd08b82ca76ac1ebf5bcaf79516dcb676c86161131d661a5949067cafee299","target":"graph","created_at":"2026-05-18T00:33:04Z","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 GFG automata, it is possible to resolve nondeterminism in a way that only depends on the past and still accepts all the words in the language. The motivation for GFG automata comes from their adequacy for games and synthesis, wherein general nondeterminism is inappropriate. We continue the ongoing effort of studying the power of nondeterminism in GFG automata. Initial indications have hinted that every GFG automaton embodies a deterministic one. Today we know that this is not the case, and in fact GFG automata may be exponentially more succinct than deterministic ones.\n  We focus on the typ","authors_text":"Micha{\\l} Skrzypczak, Orna Kupferman, Udi Boker","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-10-11T15:25:02Z","title":"How Deterministic are Good-For-Games Automata?"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.04115","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:b60a3334c2f83fa742558c7d3af95399a23eec8c606dc0984d8e125ec7353a9a","target":"record","created_at":"2026-05-18T00:33:04Z","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":"33c207eec72a6300d4bfa2f74890a2cbd0211ec4831aa9486617260ae304bf81","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-10-11T15:25:02Z","title_canon_sha256":"8e9a33a6d9cb5fa1e08edae2a76becd68696524a36e79e9283bab604c1f10d48"},"schema_version":"1.0","source":{"id":"1710.04115","kind":"arxiv","version":1}},"canonical_sha256":"906a38ef09f166ce7a23f9892a41de6376cf9af028fa4ccf370d84328c1ca258","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"906a38ef09f166ce7a23f9892a41de6376cf9af028fa4ccf370d84328c1ca258","first_computed_at":"2026-05-18T00:33:04.938784Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:33:04.938784Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xyHBUf9tALq0t+QzF2y0IyMp6xvS8eec2N0A685TpZ63kNp5cOcib7klMy4UnNgTWIurfp4pQRiJnh6KU5MQBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:33:04.939335Z","signed_message":"canonical_sha256_bytes"},"source_id":"1710.04115","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b60a3334c2f83fa742558c7d3af95399a23eec8c606dc0984d8e125ec7353a9a","sha256:38cd08b82ca76ac1ebf5bcaf79516dcb676c86161131d661a5949067cafee299"],"state_sha256":"b42f14a27edf0a3594cb0b6cfaa11c0bdc641f15717fbe33f53aca16f2280104"}