{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:A74AC3WEKUVD2FR5R2BBF2XTOB","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":"390a699a953e2ab002fb7c47e9f774795ea3f5ef3abf2ec49f1fbc696c7949c2","cross_cats_sorted":["cs.FL"],"license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.GT","submitted_at":"2014-05-03T22:58:39Z","title_canon_sha256":"92178bd3c68cf94a565148aaaa7ee91501f328a597dd77768debace9503413ed"},"schema_version":"1.0","source":{"id":"1405.0628","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.0628","created_at":"2026-05-18T02:52:41Z"},{"alias_kind":"arxiv_version","alias_value":"1405.0628v1","created_at":"2026-05-18T02:52:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.0628","created_at":"2026-05-18T02:52:41Z"},{"alias_kind":"pith_short_12","alias_value":"A74AC3WEKUVD","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_16","alias_value":"A74AC3WEKUVD2FR5","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_8","alias_value":"A74AC3WE","created_at":"2026-05-18T12:28:19Z"}],"graph_snapshots":[{"event_id":"sha256:082468ca7393f61b189cbd0d5497773a33e6ed515340bafa64ba42c71cb1960d","target":"graph","created_at":"2026-05-18T02:52:41Z","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":"Energy games are a well-studied class of 2-player turn-based games on a finite graph where transitions are labeled with integer vectors which represent changes in a multidimensional resource (the energy). One player tries to keep the cumulative changes non-negative in every component while the other tries to frustrate this. We consider generalized energy games played on infinite game graphs induced by pushdown automata (modelling recursion) or their subclass of one-counter automata. Our main result is that energy games are decidable in the case where the game graph is induced by a one-counter ","authors_text":"K. Narayan Kumar, Mohamed Faouzi Atig, Parosh Aziz Abdulla, Patrick Totzke, Piotr Hofman, Richard Mayr","cross_cats":["cs.FL"],"headline":"","license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.GT","submitted_at":"2014-05-03T22:58:39Z","title":"Infinite-State Energy Games"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.0628","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:8b488472901fa154f1b7391b0a41ff25b71058225dab0c673b98b0eab9b47798","target":"record","created_at":"2026-05-18T02:52:41Z","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":"390a699a953e2ab002fb7c47e9f774795ea3f5ef3abf2ec49f1fbc696c7949c2","cross_cats_sorted":["cs.FL"],"license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.GT","submitted_at":"2014-05-03T22:58:39Z","title_canon_sha256":"92178bd3c68cf94a565148aaaa7ee91501f328a597dd77768debace9503413ed"},"schema_version":"1.0","source":{"id":"1405.0628","kind":"arxiv","version":1}},"canonical_sha256":"07f8016ec4552a3d163d8e8212eaf3706e1eb8f443f5cbe873b72bc821b21616","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"07f8016ec4552a3d163d8e8212eaf3706e1eb8f443f5cbe873b72bc821b21616","first_computed_at":"2026-05-18T02:52:41.044730Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:52:41.044730Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HdNobL73/8oWV5rj3vNY6ReOjcFS/UrIS70KLNltMPcN8tEuYf3FeaWhKwDW5qnLZqUp3AOEhwSaT4LKuG2sCw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:52:41.045188Z","signed_message":"canonical_sha256_bytes"},"source_id":"1405.0628","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8b488472901fa154f1b7391b0a41ff25b71058225dab0c673b98b0eab9b47798","sha256:082468ca7393f61b189cbd0d5497773a33e6ed515340bafa64ba42c71cb1960d"],"state_sha256":"a39d70081304ac1049984ac9cd1637d74f149be954f46f29de78f1976fb8acd6"}