{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:2BQUWN3JLUP7LHUTDXGX5ABDWD","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":"681e7f69864a6dc19ca24c8047c009c85526488db8165a60c3306dc542bba2d8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2015-10-20T07:43:02Z","title_canon_sha256":"467cc0fb638b9f943318c07785bc09f1ed50d4aec0285e98437ae0bae84ea6b0"},"schema_version":"1.0","source":{"id":"1510.05774","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1510.05774","created_at":"2026-05-18T01:01:16Z"},{"alias_kind":"arxiv_version","alias_value":"1510.05774v2","created_at":"2026-05-18T01:01:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.05774","created_at":"2026-05-18T01:01:16Z"},{"alias_kind":"pith_short_12","alias_value":"2BQUWN3JLUP7","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_16","alias_value":"2BQUWN3JLUP7LHUT","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_8","alias_value":"2BQUWN3J","created_at":"2026-05-18T12:28:59Z"}],"graph_snapshots":[{"event_id":"sha256:fcafcafa083764359da0f32b9bf3426e27f50e1593d2e8dcfd3e97a7906785ec","target":"graph","created_at":"2026-05-18T01:01:16Z","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 infinite two-player games played in weighted arenas with quantitative objectives that restrict the consumption of a resource modeled by the weights, e.g., a battery that is charged and drained. Typically, upper and/or lower bounds on the battery capacity are part of the problem description. Here, we consider the problem of determining upper bounds on the average accumulated energy or on the capacity while satisfying a given lower bound, i.e., we do not determine whether a given bound is sufficient to meet the specification, but if there exists a sufficient bound to meet it.\n  ","authors_text":"Kim G. Larsen, Martin Zimmermann, Simon Laursen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2015-10-20T07:43:02Z","title":"Limit Your Consumption! Finding Bounds in Average-energy Games"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.05774","kind":"arxiv","version":2},"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:99f87493d1391081f0294eecc85b5354035334c3e95f45b0e108137db0205b58","target":"record","created_at":"2026-05-18T01:01:16Z","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":"681e7f69864a6dc19ca24c8047c009c85526488db8165a60c3306dc542bba2d8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2015-10-20T07:43:02Z","title_canon_sha256":"467cc0fb638b9f943318c07785bc09f1ed50d4aec0285e98437ae0bae84ea6b0"},"schema_version":"1.0","source":{"id":"1510.05774","kind":"arxiv","version":2}},"canonical_sha256":"d0614b37695d1ff59e931dcd7e8023b0f87583f12e7936b40f90e2dd0effeed5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d0614b37695d1ff59e931dcd7e8023b0f87583f12e7936b40f90e2dd0effeed5","first_computed_at":"2026-05-18T01:01:16.025404Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:01:16.025404Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UV7gtSk0J0537YFZJozO/gOUXJ9M9e5w+B6IEApVmcvGja+wnXkC9s8SilYFnQK+dulzpRr/Ew+Y63tQBn60Dw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:01:16.025968Z","signed_message":"canonical_sha256_bytes"},"source_id":"1510.05774","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:99f87493d1391081f0294eecc85b5354035334c3e95f45b0e108137db0205b58","sha256:fcafcafa083764359da0f32b9bf3426e27f50e1593d2e8dcfd3e97a7906785ec"],"state_sha256":"7ea42491a9141aac55d7a9611180e3bfef6d7f06aa4d554d58f47479e02e2def"}