{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:WYBXTPCH36M5KCFLFB4TGYX2WS","short_pith_number":"pith:WYBXTPCH","canonical_record":{"source":{"id":"1806.05126","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-06-13T16:01:51Z","cross_cats_sorted":[],"title_canon_sha256":"4c0e5b1eed4612a59de827778218fcf08d6278409eb3ad9124978523a99a0cb1","abstract_canon_sha256":"0ab57d65107fa2638692e5947007f180039a12f5029a028feb56ed694c815f7f"},"schema_version":"1.0"},"canonical_sha256":"b60379bc47df99d508ab28793362fab48c611d4b4f0927e492bb5d6ac580a52b","source":{"kind":"arxiv","id":"1806.05126","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.05126","created_at":"2026-05-18T00:13:20Z"},{"alias_kind":"arxiv_version","alias_value":"1806.05126v1","created_at":"2026-05-18T00:13:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.05126","created_at":"2026-05-18T00:13:20Z"},{"alias_kind":"pith_short_12","alias_value":"WYBXTPCH36M5","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_16","alias_value":"WYBXTPCH36M5KCFL","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_8","alias_value":"WYBXTPCH","created_at":"2026-05-18T12:33:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:WYBXTPCH36M5KCFLFB4TGYX2WS","target":"record","payload":{"canonical_record":{"source":{"id":"1806.05126","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-06-13T16:01:51Z","cross_cats_sorted":[],"title_canon_sha256":"4c0e5b1eed4612a59de827778218fcf08d6278409eb3ad9124978523a99a0cb1","abstract_canon_sha256":"0ab57d65107fa2638692e5947007f180039a12f5029a028feb56ed694c815f7f"},"schema_version":"1.0"},"canonical_sha256":"b60379bc47df99d508ab28793362fab48c611d4b4f0927e492bb5d6ac580a52b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:13:20.078473Z","signature_b64":"IaVd4wMYMIHwBC+TmG3zGyrmJncVjOUiDc0c9kXftCFFpdhx/sNAL4e9IZZzZhpGj+HjP2XvhewRyvmQUTByCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b60379bc47df99d508ab28793362fab48c611d4b4f0927e492bb5d6ac580a52b","last_reissued_at":"2026-05-18T00:13:20.077753Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:13:20.077753Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1806.05126","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-18T00:13:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zDM4aOQ11Z3NUhuTKAGXQFpcd34F5MUEPdsUWmwvPKJcYb/qLiW6OrQzXoZPvQMZWwD0NbzSN1Yvvg1YYEV1BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T13:11:37.605299Z"},"content_sha256":"b5e8c857422c192a58dd4f018e613abf450f3e28ab4ca5daa217ec74fa56febf","schema_version":"1.0","event_id":"sha256:b5e8c857422c192a58dd4f018e613abf450f3e28ab4ca5daa217ec74fa56febf"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:WYBXTPCH36M5KCFLFB4TGYX2WS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Parameter-Independent Strategies for pMDPs via POMDPs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Ana Sokolova, Ezio Bartocci, Joost-Pieter Katoen, Krishnendu Chatterjee, Sebastian Arming","submitted_at":"2018-06-13T16:01:51Z","abstract_excerpt":"Markov Decision Processes (MDPs) are a popular class of models suitable for solving control decision problems in probabilistic reactive systems. We consider parametric MDPs (pMDPs) that include parameters in some of the transition probabilities to account for stochastic uncertainties of the environment such as noise or input disturbances.\n  We study pMDPs with reachability objectives where the parameter values are unknown and impossible to measure directly during execution, but there is a probability distribution known over the parameter values. We study for the first time computing parameter-"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.05126","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-18T00:13:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OuyDe9BEkvENLY30Py3n5GRJdY2coTXcMFS0uoLXk4kdjoLBk543jA6XKrHC79hAB06pIucplPgeXnGwj70GBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T13:11:37.606016Z"},"content_sha256":"670dd8be64c239986eccee71a0ec9ce7f75567deef1885d19c3c2c7393f6fc5e","schema_version":"1.0","event_id":"sha256:670dd8be64c239986eccee71a0ec9ce7f75567deef1885d19c3c2c7393f6fc5e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WYBXTPCH36M5KCFLFB4TGYX2WS/bundle.json","state_url":"https://pith.science/pith/WYBXTPCH36M5KCFLFB4TGYX2WS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WYBXTPCH36M5KCFLFB4TGYX2WS/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-05-23T13:11:37Z","links":{"resolver":"https://pith.science/pith/WYBXTPCH36M5KCFLFB4TGYX2WS","bundle":"https://pith.science/pith/WYBXTPCH36M5KCFLFB4TGYX2WS/bundle.json","state":"https://pith.science/pith/WYBXTPCH36M5KCFLFB4TGYX2WS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WYBXTPCH36M5KCFLFB4TGYX2WS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:WYBXTPCH36M5KCFLFB4TGYX2WS","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":"0ab57d65107fa2638692e5947007f180039a12f5029a028feb56ed694c815f7f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-06-13T16:01:51Z","title_canon_sha256":"4c0e5b1eed4612a59de827778218fcf08d6278409eb3ad9124978523a99a0cb1"},"schema_version":"1.0","source":{"id":"1806.05126","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.05126","created_at":"2026-05-18T00:13:20Z"},{"alias_kind":"arxiv_version","alias_value":"1806.05126v1","created_at":"2026-05-18T00:13:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.05126","created_at":"2026-05-18T00:13:20Z"},{"alias_kind":"pith_short_12","alias_value":"WYBXTPCH36M5","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_16","alias_value":"WYBXTPCH36M5KCFL","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_8","alias_value":"WYBXTPCH","created_at":"2026-05-18T12:33:01Z"}],"graph_snapshots":[{"event_id":"sha256:670dd8be64c239986eccee71a0ec9ce7f75567deef1885d19c3c2c7393f6fc5e","target":"graph","created_at":"2026-05-18T00:13:20Z","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":"Markov Decision Processes (MDPs) are a popular class of models suitable for solving control decision problems in probabilistic reactive systems. We consider parametric MDPs (pMDPs) that include parameters in some of the transition probabilities to account for stochastic uncertainties of the environment such as noise or input disturbances.\n  We study pMDPs with reachability objectives where the parameter values are unknown and impossible to measure directly during execution, but there is a probability distribution known over the parameter values. We study for the first time computing parameter-","authors_text":"Ana Sokolova, Ezio Bartocci, Joost-Pieter Katoen, Krishnendu Chatterjee, Sebastian Arming","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-06-13T16:01:51Z","title":"Parameter-Independent Strategies for pMDPs via POMDPs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.05126","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:b5e8c857422c192a58dd4f018e613abf450f3e28ab4ca5daa217ec74fa56febf","target":"record","created_at":"2026-05-18T00:13:20Z","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":"0ab57d65107fa2638692e5947007f180039a12f5029a028feb56ed694c815f7f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-06-13T16:01:51Z","title_canon_sha256":"4c0e5b1eed4612a59de827778218fcf08d6278409eb3ad9124978523a99a0cb1"},"schema_version":"1.0","source":{"id":"1806.05126","kind":"arxiv","version":1}},"canonical_sha256":"b60379bc47df99d508ab28793362fab48c611d4b4f0927e492bb5d6ac580a52b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b60379bc47df99d508ab28793362fab48c611d4b4f0927e492bb5d6ac580a52b","first_computed_at":"2026-05-18T00:13:20.077753Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:13:20.077753Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IaVd4wMYMIHwBC+TmG3zGyrmJncVjOUiDc0c9kXftCFFpdhx/sNAL4e9IZZzZhpGj+HjP2XvhewRyvmQUTByCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:13:20.078473Z","signed_message":"canonical_sha256_bytes"},"source_id":"1806.05126","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b5e8c857422c192a58dd4f018e613abf450f3e28ab4ca5daa217ec74fa56febf","sha256:670dd8be64c239986eccee71a0ec9ce7f75567deef1885d19c3c2c7393f6fc5e"],"state_sha256":"83a4ac2bbd06742fd212b6e48fa8f889d564dfba8b7a06c18ec8bf8d708317df"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pSFFwtcvAshynTcMIoMGqRtv+lm4mS2dQrOyTjuecvjy0vkPIWPr4rSwLQJifZLbgwga+tbPLM+ca5T2hj+hBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-23T13:11:37.609895Z","bundle_sha256":"de3406bef8b7c9b7f1aca5cb6a120372fe58916ce4505615f5490c0aa624865c"}}