{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:3VLTSFMF2HRP7NCZAWIYZ2QMOZ","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":"f441aab9610469b3007d775806c6878cba2ddb7ff1c251fc41c241a33015f046","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-02-12T18:33:29Z","title_canon_sha256":"8deabdd189a3166d41691925f2d0edf1916e6ee60f6ab2f128b5bcef885f858d"},"schema_version":"1.0","source":{"id":"1902.04538","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.04538","created_at":"2026-05-17T23:47:26Z"},{"alias_kind":"arxiv_version","alias_value":"1902.04538v2","created_at":"2026-05-17T23:47:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.04538","created_at":"2026-05-17T23:47:26Z"},{"alias_kind":"pith_short_12","alias_value":"3VLTSFMF2HRP","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"3VLTSFMF2HRP7NCZ","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"3VLTSFMF","created_at":"2026-05-18T12:33:10Z"}],"graph_snapshots":[{"event_id":"sha256:7ddfcb5711aac4da22dc1b47dabe24be25bedbbf47bbf7b8732e557250f4d851","target":"graph","created_at":"2026-05-17T23:47: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":"The paper addresses two variants of the stochastic shortest path problem ('optimize the accumulated weight until reaching a goal state') in Markov decision processes (MDPs) with integer weights. The first variant optimizes partial expected accumulated weights, where paths not leading to a goal state are assigned weight 0, while the second variant considers conditional expected accumulated weights, where the probability mass is redistributed to paths reaching the goal. Both variants constitute useful approaches to the analysis of systems without guarantees on the occurrence of an event of inter","authors_text":"Christel Baier, Jakob Piribauer","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-02-12T18:33:29Z","title":"Partial and Conditional Expectations in Markov Decision Processes with Integer Weights"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.04538","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:098e622aec552c688343ce0fd1c43a34d32d61fdc121cbe25e587a4c30f92780","target":"record","created_at":"2026-05-17T23:47: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":"f441aab9610469b3007d775806c6878cba2ddb7ff1c251fc41c241a33015f046","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-02-12T18:33:29Z","title_canon_sha256":"8deabdd189a3166d41691925f2d0edf1916e6ee60f6ab2f128b5bcef885f858d"},"schema_version":"1.0","source":{"id":"1902.04538","kind":"arxiv","version":2}},"canonical_sha256":"dd57391585d1e2ffb45905918cea0c766520d2ad8781ba5f1fff546b97874548","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dd57391585d1e2ffb45905918cea0c766520d2ad8781ba5f1fff546b97874548","first_computed_at":"2026-05-17T23:47:26.136430Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:47:26.136430Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FkTsyZOn21+1j5XgkLMXpkUObg4aLLCshbyfpoTw33aL0QjjyuxLFdnoLUKljiTZBOb+6QSeC1oeD2jqUqq4Bw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:47:26.137068Z","signed_message":"canonical_sha256_bytes"},"source_id":"1902.04538","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:098e622aec552c688343ce0fd1c43a34d32d61fdc121cbe25e587a4c30f92780","sha256:7ddfcb5711aac4da22dc1b47dabe24be25bedbbf47bbf7b8732e557250f4d851"],"state_sha256":"4c57f8f30e082a43073a1da29eab1e73b616f18788da5393a3c6bba0331dbaef"}