{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:MVE6GE6NWAMM6QFULD36V6BAJR","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":"f38c3af8bee8592c2a1ec4df27f98554b7fd8237f0d3ce8c4e7a0a098978ec06","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2019-07-02T13:39:27Z","title_canon_sha256":"bc62e0d23b9d290388b77a4fb79007ae4e77da1e5f482cbfdbe1a3c388f89275"},"schema_version":"1.0","source":{"id":"1907.01359","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.01359","created_at":"2026-05-17T23:41:40Z"},{"alias_kind":"arxiv_version","alias_value":"1907.01359v1","created_at":"2026-05-17T23:41:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.01359","created_at":"2026-05-17T23:41:40Z"},{"alias_kind":"pith_short_12","alias_value":"MVE6GE6NWAMM","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_16","alias_value":"MVE6GE6NWAMM6QFU","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_8","alias_value":"MVE6GE6N","created_at":"2026-05-18T12:33:24Z"}],"graph_snapshots":[{"event_id":"sha256:2193486bc3c5bf31639803b5d0974b6dca8fef718ca02d7b073b178effe50115","target":"graph","created_at":"2026-05-17T23:41:40Z","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 this paper, we study one-player and two-player energy mean-payoff games. Energy mean-payoff games are games of infinite duration played on a finite graph with edges labeled by 2-dimensional weight vectors. The objective of the first player (the protagonist) is to satisfy an energy objective on the first dimension and a mean-payoff objective on the second dimension. We show that optimal strategies for the first player may require infinite memory while optimal strategies for the second player (the antagonist) do not require memory. In the one-player case (where only the first player has choic","authors_text":"Jean-Fran\\c{c}ois Raskin, Mickael Randour, Quentin Hautem, V\\'eronique Bruy\\`ere","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2019-07-02T13:39:27Z","title":"Energy mean-payoff games"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.01359","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:b01755ffa1531372d67e2aa8aa227d1408afea3c5b000eb48fed503c4d565e18","target":"record","created_at":"2026-05-17T23:41:40Z","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":"f38c3af8bee8592c2a1ec4df27f98554b7fd8237f0d3ce8c4e7a0a098978ec06","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2019-07-02T13:39:27Z","title_canon_sha256":"bc62e0d23b9d290388b77a4fb79007ae4e77da1e5f482cbfdbe1a3c388f89275"},"schema_version":"1.0","source":{"id":"1907.01359","kind":"arxiv","version":1}},"canonical_sha256":"6549e313cdb018cf40b458f7eaf8204c55612bd308a09e05b264b427d279f379","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6549e313cdb018cf40b458f7eaf8204c55612bd308a09e05b264b427d279f379","first_computed_at":"2026-05-17T23:41:40.595353Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:41:40.595353Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"iFG2wIYVIc6xiCMOaCkZuSAqVlD0pRHJvi4NHrY1ONR8rZ2ypUmW1qLLvZtIiJ2C7ERUO8mb5bJDV+gnU8qeAg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:41:40.595825Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.01359","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b01755ffa1531372d67e2aa8aa227d1408afea3c5b000eb48fed503c4d565e18","sha256:2193486bc3c5bf31639803b5d0974b6dca8fef718ca02d7b073b178effe50115"],"state_sha256":"96b260174d2b387375283ee841808171beb9e7c4e7fb1554021ebf6b2cbc3527"}