{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:E6KK3JT6DEZRGO3OBWYHWJRHOB","short_pith_number":"pith:E6KK3JT6","schema_version":"1.0","canonical_sha256":"2794ada67e1933133b6e0db07b2627705663921cf4c2143898ad867456529e05","source":{"kind":"arxiv","id":"1502.00611","version":4},"attestation_state":"computed","paper":{"title":"Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Jan K\\v{r}et\\'insk\\'y, Krishnendu Chatterjee, Zuzana K\\v{r}et\\'insk\\'a","submitted_at":"2015-02-02T20:34:02Z","abstract_excerpt":"We consider Markov decision processes (MDPs) with multiple limit-average (or mean-payoff) objectives. There exist two different views: (i) the expectation semantics, where the goal is to optimize the expected mean-payoff objective, and (ii) the satisfaction semantics, where the goal is to maximize the probability of runs such that the mean-payoff value stays above a given vector. We consider optimization with respect to both objectives at once, thus unifying the existing semantics. Precisely, the goal is to optimize the expectation while ensuring the satisfaction constraint. Our problem captur"},"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":"1502.00611","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-02T20:34:02Z","cross_cats_sorted":[],"title_canon_sha256":"00cdf55dbdbb7f4be582dfd99682d832832c113faf47d0845f9d014f32d61bcc","abstract_canon_sha256":"0decd413164ff0a2259cd8d7b751189d744afa1d0355eaddb35a2d76ed5d9a05"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:51:23.965763Z","signature_b64":"jnXWaU9EIiZpPbPMyx2E+3C+tRlmg3KvAcA6xTRhyQa/k44mLSPdaIQy8TX0uSM6gqe+XbwhLkM7JCoM/l6yDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2794ada67e1933133b6e0db07b2627705663921cf4c2143898ad867456529e05","last_reissued_at":"2026-05-17T23:51:23.965249Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:51:23.965249Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Jan K\\v{r}et\\'insk\\'y, Krishnendu Chatterjee, Zuzana K\\v{r}et\\'insk\\'a","submitted_at":"2015-02-02T20:34:02Z","abstract_excerpt":"We consider Markov decision processes (MDPs) with multiple limit-average (or mean-payoff) objectives. There exist two different views: (i) the expectation semantics, where the goal is to optimize the expected mean-payoff objective, and (ii) the satisfaction semantics, where the goal is to maximize the probability of runs such that the mean-payoff value stays above a given vector. We consider optimization with respect to both objectives at once, thus unifying the existing semantics. Precisely, the goal is to optimize the expectation while ensuring the satisfaction constraint. Our problem captur"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.00611","kind":"arxiv","version":4},"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":"1502.00611","created_at":"2026-05-17T23:51:23.965327+00:00"},{"alias_kind":"arxiv_version","alias_value":"1502.00611v4","created_at":"2026-05-17T23:51:23.965327+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.00611","created_at":"2026-05-17T23:51:23.965327+00:00"},{"alias_kind":"pith_short_12","alias_value":"E6KK3JT6DEZR","created_at":"2026-05-18T12:29:19.899920+00:00"},{"alias_kind":"pith_short_16","alias_value":"E6KK3JT6DEZRGO3O","created_at":"2026-05-18T12:29:19.899920+00:00"},{"alias_kind":"pith_short_8","alias_value":"E6KK3JT6","created_at":"2026-05-18T12:29:19.899920+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/E6KK3JT6DEZRGO3OBWYHWJRHOB","json":"https://pith.science/pith/E6KK3JT6DEZRGO3OBWYHWJRHOB.json","graph_json":"https://pith.science/api/pith-number/E6KK3JT6DEZRGO3OBWYHWJRHOB/graph.json","events_json":"https://pith.science/api/pith-number/E6KK3JT6DEZRGO3OBWYHWJRHOB/events.json","paper":"https://pith.science/paper/E6KK3JT6"},"agent_actions":{"view_html":"https://pith.science/pith/E6KK3JT6DEZRGO3OBWYHWJRHOB","download_json":"https://pith.science/pith/E6KK3JT6DEZRGO3OBWYHWJRHOB.json","view_paper":"https://pith.science/paper/E6KK3JT6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1502.00611&json=true","fetch_graph":"https://pith.science/api/pith-number/E6KK3JT6DEZRGO3OBWYHWJRHOB/graph.json","fetch_events":"https://pith.science/api/pith-number/E6KK3JT6DEZRGO3OBWYHWJRHOB/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/E6KK3JT6DEZRGO3OBWYHWJRHOB/action/timestamp_anchor","attest_storage":"https://pith.science/pith/E6KK3JT6DEZRGO3OBWYHWJRHOB/action/storage_attestation","attest_author":"https://pith.science/pith/E6KK3JT6DEZRGO3OBWYHWJRHOB/action/author_attestation","sign_citation":"https://pith.science/pith/E6KK3JT6DEZRGO3OBWYHWJRHOB/action/citation_signature","submit_replication":"https://pith.science/pith/E6KK3JT6DEZRGO3OBWYHWJRHOB/action/replication_record"}},"created_at":"2026-05-17T23:51:23.965327+00:00","updated_at":"2026-05-17T23:51:23.965327+00:00"}