{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:B5ACDXBTZQXCBMMP7LNDE25CBX","short_pith_number":"pith:B5ACDXBT","schema_version":"1.0","canonical_sha256":"0f4021dc33cc2e20b18ffada326ba20ddb540ead1864f68ad981c3171a5593f9","source":{"kind":"arxiv","id":"1701.02546","version":3},"attestation_state":"computed","paper":{"title":"MDPs with Energy-Parity Objectives","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Dominik Wojtczak, Patrick Totzke, Richard Mayr, Sven Schewe","submitted_at":"2017-01-10T12:18:23Z","abstract_excerpt":"Energy-parity objectives combine $\\omega$-regular with quantitative objectives of reward MDPs. The controller needs to avoid to run out of energy while satisfying a parity objective.\n  We refute the common belief that, if an energy-parity objective holds almost-surely, then this can be realised by some finite memory strategy. We provide a surprisingly simple counterexample that only uses coB\\\"uchi conditions.\n  We introduce the new class of bounded (energy) storage objectives that, when combined with parity objectives, preserve the finite memory property. Based on these, we show that almost-su"},"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":"1701.02546","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-01-10T12:18:23Z","cross_cats_sorted":[],"title_canon_sha256":"f2f3ce9a62fd0f1f8ceac4a2f995a9a9f2db7a46cd6b91632b990f694bba5ebe","abstract_canon_sha256":"27a4af1a471a77fd05222f7972e097e0c19ec2de5b72fd0b2f87df6619b36d7d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:46:13.210789Z","signature_b64":"+ozbcy9CHlyQmlOdBCC18IJAinjjtaWhYbmWsbnyUGl19M9GMllyvbb8+q9woUjj7tUHBHeZ+U9do+EY3AbhCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0f4021dc33cc2e20b18ffada326ba20ddb540ead1864f68ad981c3171a5593f9","last_reissued_at":"2026-05-18T00:46:13.210337Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:46:13.210337Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"MDPs with Energy-Parity Objectives","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Dominik Wojtczak, Patrick Totzke, Richard Mayr, Sven Schewe","submitted_at":"2017-01-10T12:18:23Z","abstract_excerpt":"Energy-parity objectives combine $\\omega$-regular with quantitative objectives of reward MDPs. The controller needs to avoid to run out of energy while satisfying a parity objective.\n  We refute the common belief that, if an energy-parity objective holds almost-surely, then this can be realised by some finite memory strategy. We provide a surprisingly simple counterexample that only uses coB\\\"uchi conditions.\n  We introduce the new class of bounded (energy) storage objectives that, when combined with parity objectives, preserve the finite memory property. Based on these, we show that almost-su"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.02546","kind":"arxiv","version":3},"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":"1701.02546","created_at":"2026-05-18T00:46:13.210416+00:00"},{"alias_kind":"arxiv_version","alias_value":"1701.02546v3","created_at":"2026-05-18T00:46:13.210416+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.02546","created_at":"2026-05-18T00:46:13.210416+00:00"},{"alias_kind":"pith_short_12","alias_value":"B5ACDXBTZQXC","created_at":"2026-05-18T12:31:08.081275+00:00"},{"alias_kind":"pith_short_16","alias_value":"B5ACDXBTZQXCBMMP","created_at":"2026-05-18T12:31:08.081275+00:00"},{"alias_kind":"pith_short_8","alias_value":"B5ACDXBT","created_at":"2026-05-18T12:31:08.081275+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/B5ACDXBTZQXCBMMP7LNDE25CBX","json":"https://pith.science/pith/B5ACDXBTZQXCBMMP7LNDE25CBX.json","graph_json":"https://pith.science/api/pith-number/B5ACDXBTZQXCBMMP7LNDE25CBX/graph.json","events_json":"https://pith.science/api/pith-number/B5ACDXBTZQXCBMMP7LNDE25CBX/events.json","paper":"https://pith.science/paper/B5ACDXBT"},"agent_actions":{"view_html":"https://pith.science/pith/B5ACDXBTZQXCBMMP7LNDE25CBX","download_json":"https://pith.science/pith/B5ACDXBTZQXCBMMP7LNDE25CBX.json","view_paper":"https://pith.science/paper/B5ACDXBT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1701.02546&json=true","fetch_graph":"https://pith.science/api/pith-number/B5ACDXBTZQXCBMMP7LNDE25CBX/graph.json","fetch_events":"https://pith.science/api/pith-number/B5ACDXBTZQXCBMMP7LNDE25CBX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/B5ACDXBTZQXCBMMP7LNDE25CBX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/B5ACDXBTZQXCBMMP7LNDE25CBX/action/storage_attestation","attest_author":"https://pith.science/pith/B5ACDXBTZQXCBMMP7LNDE25CBX/action/author_attestation","sign_citation":"https://pith.science/pith/B5ACDXBTZQXCBMMP7LNDE25CBX/action/citation_signature","submit_replication":"https://pith.science/pith/B5ACDXBTZQXCBMMP7LNDE25CBX/action/replication_record"}},"created_at":"2026-05-18T00:46:13.210416+00:00","updated_at":"2026-05-18T00:46:13.210416+00:00"}