{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:TE2Y6QX5ZWUFTDG6V3OZFUXKHQ","short_pith_number":"pith:TE2Y6QX5","canonical_record":{"source":{"id":"1305.4103","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2013-04-23T21:59:49Z","cross_cats_sorted":[],"title_canon_sha256":"849c59fe4f30c42a92a899d449ff491f7f1885a31470aec8c94036141a18768e","abstract_canon_sha256":"cabd13a4cac2325728459a533d0f81f0dd00c4627d3b5b7b0e381977c487dc92"},"schema_version":"1.0"},"canonical_sha256":"99358f42fdcda8598cdeaedd92d2ea3c1f69ade2fffb2f5634c7337d080ce9af","source":{"kind":"arxiv","id":"1305.4103","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1305.4103","created_at":"2026-05-18T03:25:26Z"},{"alias_kind":"arxiv_version","alias_value":"1305.4103v1","created_at":"2026-05-18T03:25:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1305.4103","created_at":"2026-05-18T03:25:26Z"},{"alias_kind":"pith_short_12","alias_value":"TE2Y6QX5ZWUF","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_16","alias_value":"TE2Y6QX5ZWUFTDG6","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_8","alias_value":"TE2Y6QX5","created_at":"2026-05-18T12:28:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:TE2Y6QX5ZWUFTDG6V3OZFUXKHQ","target":"record","payload":{"canonical_record":{"source":{"id":"1305.4103","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2013-04-23T21:59:49Z","cross_cats_sorted":[],"title_canon_sha256":"849c59fe4f30c42a92a899d449ff491f7f1885a31470aec8c94036141a18768e","abstract_canon_sha256":"cabd13a4cac2325728459a533d0f81f0dd00c4627d3b5b7b0e381977c487dc92"},"schema_version":"1.0"},"canonical_sha256":"99358f42fdcda8598cdeaedd92d2ea3c1f69ade2fffb2f5634c7337d080ce9af","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:25:26.229555Z","signature_b64":"ztO9nWP4ZrkD6uO4ysQqRoyi7l62yuKLJOBf+50dyNP8kFrYNaxr9KaOkMpARxwvCwoely98zTnXWXOuDenpAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"99358f42fdcda8598cdeaedd92d2ea3c1f69ade2fffb2f5634c7337d080ce9af","last_reissued_at":"2026-05-18T03:25:26.228996Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:25:26.228996Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1305.4103","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:25:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"E3vEPs4YB8KXpkkAkC6qEpuCsKKiSj+ibZY6+cx1OFBItCwiucJoBzmNJUKdJ2TiCnKbLecqZ/hSRRhjvpqqBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T16:59:30.213729Z"},"content_sha256":"3b4216ad3782270bb5a291d37d0c79ac0bbd51f1884bf5378c94453a6511b60f","schema_version":"1.0","event_id":"sha256:3b4216ad3782270bb5a291d37d0c79ac0bbd51f1884bf5378c94453a6511b60f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:TE2Y6QX5ZWUFTDG6V3OZFUXKHQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Trading Performance for Stability in Markov Decision Processes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Anton\\'in Ku\\v{c}era, Krishnendu Chatterjee, Tom\\'a\\v{s} Br\\'azdil, Vojt\\v{e}ch Forejt","submitted_at":"2013-04-23T21:59:49Z","abstract_excerpt":"We study the complexity of central controller synthesis problems for finite-state Markov decision processes, where the objective is to optimize both the expected mean-payoff performance of the system and its stability.\n  We argue that the basic theoretical notion of expressing the stability in terms of the variance of the mean-payoff (called global variance in our paper) is not always sufficient, since it ignores possible instabilities on respective runs. For this reason we propose alernative definitions of stability, which we call local and hybrid variance, and which express how rewards on ea"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1305.4103","kind":"arxiv","version":1},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:25:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3OxRjMt1XG3UsFw1hb1FiOhmNY6cZ3lQCu67pMWL6SeRTAZUARvpOpygQo2RCdf6ofKDlyqVBY2slfCGo8A2DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T16:59:30.214075Z"},"content_sha256":"9a3e93ea4df352a69e8f30dfef0a7aa3b7589ae0a316925eb325471afdf5974c","schema_version":"1.0","event_id":"sha256:9a3e93ea4df352a69e8f30dfef0a7aa3b7589ae0a316925eb325471afdf5974c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TE2Y6QX5ZWUFTDG6V3OZFUXKHQ/bundle.json","state_url":"https://pith.science/pith/TE2Y6QX5ZWUFTDG6V3OZFUXKHQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TE2Y6QX5ZWUFTDG6V3OZFUXKHQ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-03T16:59:30Z","links":{"resolver":"https://pith.science/pith/TE2Y6QX5ZWUFTDG6V3OZFUXKHQ","bundle":"https://pith.science/pith/TE2Y6QX5ZWUFTDG6V3OZFUXKHQ/bundle.json","state":"https://pith.science/pith/TE2Y6QX5ZWUFTDG6V3OZFUXKHQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TE2Y6QX5ZWUFTDG6V3OZFUXKHQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:TE2Y6QX5ZWUFTDG6V3OZFUXKHQ","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":"cabd13a4cac2325728459a533d0f81f0dd00c4627d3b5b7b0e381977c487dc92","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2013-04-23T21:59:49Z","title_canon_sha256":"849c59fe4f30c42a92a899d449ff491f7f1885a31470aec8c94036141a18768e"},"schema_version":"1.0","source":{"id":"1305.4103","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1305.4103","created_at":"2026-05-18T03:25:26Z"},{"alias_kind":"arxiv_version","alias_value":"1305.4103v1","created_at":"2026-05-18T03:25:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1305.4103","created_at":"2026-05-18T03:25:26Z"},{"alias_kind":"pith_short_12","alias_value":"TE2Y6QX5ZWUF","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_16","alias_value":"TE2Y6QX5ZWUFTDG6","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_8","alias_value":"TE2Y6QX5","created_at":"2026-05-18T12:28:02Z"}],"graph_snapshots":[{"event_id":"sha256:9a3e93ea4df352a69e8f30dfef0a7aa3b7589ae0a316925eb325471afdf5974c","target":"graph","created_at":"2026-05-18T03:25:26Z","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":"We study the complexity of central controller synthesis problems for finite-state Markov decision processes, where the objective is to optimize both the expected mean-payoff performance of the system and its stability.\n  We argue that the basic theoretical notion of expressing the stability in terms of the variance of the mean-payoff (called global variance in our paper) is not always sufficient, since it ignores possible instabilities on respective runs. For this reason we propose alernative definitions of stability, which we call local and hybrid variance, and which express how rewards on ea","authors_text":"Anton\\'in Ku\\v{c}era, Krishnendu Chatterjee, Tom\\'a\\v{s} Br\\'azdil, Vojt\\v{e}ch Forejt","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2013-04-23T21:59:49Z","title":"Trading Performance for Stability in Markov Decision Processes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1305.4103","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:3b4216ad3782270bb5a291d37d0c79ac0bbd51f1884bf5378c94453a6511b60f","target":"record","created_at":"2026-05-18T03:25:26Z","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":"cabd13a4cac2325728459a533d0f81f0dd00c4627d3b5b7b0e381977c487dc92","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2013-04-23T21:59:49Z","title_canon_sha256":"849c59fe4f30c42a92a899d449ff491f7f1885a31470aec8c94036141a18768e"},"schema_version":"1.0","source":{"id":"1305.4103","kind":"arxiv","version":1}},"canonical_sha256":"99358f42fdcda8598cdeaedd92d2ea3c1f69ade2fffb2f5634c7337d080ce9af","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"99358f42fdcda8598cdeaedd92d2ea3c1f69ade2fffb2f5634c7337d080ce9af","first_computed_at":"2026-05-18T03:25:26.228996Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:25:26.228996Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ztO9nWP4ZrkD6uO4ysQqRoyi7l62yuKLJOBf+50dyNP8kFrYNaxr9KaOkMpARxwvCwoely98zTnXWXOuDenpAA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:25:26.229555Z","signed_message":"canonical_sha256_bytes"},"source_id":"1305.4103","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3b4216ad3782270bb5a291d37d0c79ac0bbd51f1884bf5378c94453a6511b60f","sha256:9a3e93ea4df352a69e8f30dfef0a7aa3b7589ae0a316925eb325471afdf5974c"],"state_sha256":"c5098c476dc89d6167c824e653ff991067bc25e0172cf48868e28e1964aea68f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TqmnkYbqGcKizgtNKJYf0SaoxjopTRJxj11zgUYDjyWAYtq2m6A3Nh44IZZvC7fMnTH2ZOw3zTI/9E6UaGW0Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T16:59:30.216060Z","bundle_sha256":"12da11fce0e3ee590c3e31c40c485500b1e23dea164b1778f6d931995690ceaf"}}