{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:ZGC4KAOGXBW4S626AERNW2QHVG","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":"fadfcdc35fc6700f9a64187215737932a123633e9fbbb85f1667b95792464a30","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-04-30T16:26:49Z","title_canon_sha256":"63ed4f8b0b0ac24a8fba0c7c89d03b8b05560a247d621a0ef8a3a0730800cab9"},"schema_version":"1.0","source":{"id":"1804.11301","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.11301","created_at":"2026-05-18T00:17:14Z"},{"alias_kind":"arxiv_version","alias_value":"1804.11301v1","created_at":"2026-05-18T00:17:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.11301","created_at":"2026-05-18T00:17:14Z"},{"alias_kind":"pith_short_12","alias_value":"ZGC4KAOGXBW4","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"ZGC4KAOGXBW4S626","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"ZGC4KAOG","created_at":"2026-05-18T12:33:07Z"}],"graph_snapshots":[{"event_id":"sha256:cdd735c0682c7540d7551d87c310bd999aa2caf9432de8cd27213ec8a9a5ce6e","target":"graph","created_at":"2026-05-18T00:17:14Z","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 deals with finite-state Markov decision processes (MDPs) with integer weights assigned to each state-action pair. New algorithms are presented to classify end components according to their limiting behavior with respect to the accumulated weights. These algorithms are used to provide solutions for two types of fundamental problems for integer-weighted MDPs. First, a polynomial-time algorithm for the classical stochastic shortest path problem is presented, generalizing known results for special classes of weighted MDPs. Second, qualitative probability constraints for weight-bounded (r","authors_text":"Christel Baier, Clemens Dubslaff, Daniel Gburek, Nathalie Bertrand, Ocan Sankur","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-04-30T16:26:49Z","title":"Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.11301","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:8102344ccb1c7ba7035ac09f86c1435315771f271fb30ae935b2577799f3df51","target":"record","created_at":"2026-05-18T00:17:14Z","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":"fadfcdc35fc6700f9a64187215737932a123633e9fbbb85f1667b95792464a30","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-04-30T16:26:49Z","title_canon_sha256":"63ed4f8b0b0ac24a8fba0c7c89d03b8b05560a247d621a0ef8a3a0730800cab9"},"schema_version":"1.0","source":{"id":"1804.11301","kind":"arxiv","version":1}},"canonical_sha256":"c985c501c6b86dc97b5e0122db6a07a986ca8cb7c1de1c1a4b2fda44ac6b1e45","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c985c501c6b86dc97b5e0122db6a07a986ca8cb7c1de1c1a4b2fda44ac6b1e45","first_computed_at":"2026-05-18T00:17:14.036569Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:17:14.036569Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gqwkUQ+4n2ZXgMKwWcnRizZ9GdjsvZRfD0WmkZvRJmJj3KYhZwMJnN1q7epIuQ6YpSDFSYDWgIGgdGiqjyK8DA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:17:14.037111Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.11301","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8102344ccb1c7ba7035ac09f86c1435315771f271fb30ae935b2577799f3df51","sha256:cdd735c0682c7540d7551d87c310bd999aa2caf9432de8cd27213ec8a9a5ce6e"],"state_sha256":"6f6b61f2917db01dcfb7337ddecf2e9d7fb2b7e4ab2bf286733350dd88109b7e"}