{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:2BQUWN3JLUP7LHUTDXGX5ABDWD","short_pith_number":"pith:2BQUWN3J","schema_version":"1.0","canonical_sha256":"d0614b37695d1ff59e931dcd7e8023b0f87583f12e7936b40f90e2dd0effeed5","source":{"kind":"arxiv","id":"1510.05774","version":2},"attestation_state":"computed","paper":{"title":"Limit Your Consumption! Finding Bounds in Average-energy Games","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.GT","authors_text":"Kim G. Larsen, Martin Zimmermann, Simon Laursen","submitted_at":"2015-10-20T07:43:02Z","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  "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1510.05774","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2015-10-20T07:43:02Z","cross_cats_sorted":[],"title_canon_sha256":"467cc0fb638b9f943318c07785bc09f1ed50d4aec0285e98437ae0bae84ea6b0","abstract_canon_sha256":"681e7f69864a6dc19ca24c8047c009c85526488db8165a60c3306dc542bba2d8"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:01:16.025968Z","signature_b64":"UV7gtSk0J0537YFZJozO/gOUXJ9M9e5w+B6IEApVmcvGja+wnXkC9s8SilYFnQK+dulzpRr/Ew+Y63tQBn60Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d0614b37695d1ff59e931dcd7e8023b0f87583f12e7936b40f90e2dd0effeed5","last_reissued_at":"2026-05-18T01:01:16.025404Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:01:16.025404Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Limit Your Consumption! Finding Bounds in Average-energy Games","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.GT","authors_text":"Kim G. Larsen, Martin Zimmermann, Simon Laursen","submitted_at":"2015-10-20T07:43:02Z","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  "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.05774","kind":"arxiv","version":2},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1510.05774","created_at":"2026-05-18T01:01:16.025521+00:00"},{"alias_kind":"arxiv_version","alias_value":"1510.05774v2","created_at":"2026-05-18T01:01:16.025521+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.05774","created_at":"2026-05-18T01:01:16.025521+00:00"},{"alias_kind":"pith_short_12","alias_value":"2BQUWN3JLUP7","created_at":"2026-05-18T12:28:59.999130+00:00"},{"alias_kind":"pith_short_16","alias_value":"2BQUWN3JLUP7LHUT","created_at":"2026-05-18T12:28:59.999130+00:00"},{"alias_kind":"pith_short_8","alias_value":"2BQUWN3J","created_at":"2026-05-18T12:28:59.999130+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/2BQUWN3JLUP7LHUTDXGX5ABDWD","json":"https://pith.science/pith/2BQUWN3JLUP7LHUTDXGX5ABDWD.json","graph_json":"https://pith.science/api/pith-number/2BQUWN3JLUP7LHUTDXGX5ABDWD/graph.json","events_json":"https://pith.science/api/pith-number/2BQUWN3JLUP7LHUTDXGX5ABDWD/events.json","paper":"https://pith.science/paper/2BQUWN3J"},"agent_actions":{"view_html":"https://pith.science/pith/2BQUWN3JLUP7LHUTDXGX5ABDWD","download_json":"https://pith.science/pith/2BQUWN3JLUP7LHUTDXGX5ABDWD.json","view_paper":"https://pith.science/paper/2BQUWN3J","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1510.05774&json=true","fetch_graph":"https://pith.science/api/pith-number/2BQUWN3JLUP7LHUTDXGX5ABDWD/graph.json","fetch_events":"https://pith.science/api/pith-number/2BQUWN3JLUP7LHUTDXGX5ABDWD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2BQUWN3JLUP7LHUTDXGX5ABDWD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2BQUWN3JLUP7LHUTDXGX5ABDWD/action/storage_attestation","attest_author":"https://pith.science/pith/2BQUWN3JLUP7LHUTDXGX5ABDWD/action/author_attestation","sign_citation":"https://pith.science/pith/2BQUWN3JLUP7LHUTDXGX5ABDWD/action/citation_signature","submit_replication":"https://pith.science/pith/2BQUWN3JLUP7LHUTDXGX5ABDWD/action/replication_record"}},"created_at":"2026-05-18T01:01:16.025521+00:00","updated_at":"2026-05-18T01:01:16.025521+00:00"}