{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:OJCMNU5RI74I37UTPGF3NZC3H2","short_pith_number":"pith:OJCMNU5R","canonical_record":{"source":{"id":"2305.01473","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-05-01T08:23:55Z","cross_cats_sorted":["cs.LO","math.OC"],"title_canon_sha256":"fb349eb6f73d9d9745eb02a2ab2dc961810c40e3fdead515715f4f4edfca22d1","abstract_canon_sha256":"055bce7842a7d34becfff9817b34d1c5cae671b943c0b60939a2113b8150acfa"},"schema_version":"1.0"},"canonical_sha256":"7244c6d3b147f88dfe93798bb6e45b3eb603895b9f7d541338747d611ca87dcb","source":{"kind":"arxiv","id":"2305.01473","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.01473","created_at":"2026-07-05T06:06:26Z"},{"alias_kind":"arxiv_version","alias_value":"2305.01473v1","created_at":"2026-07-05T06:06:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.01473","created_at":"2026-07-05T06:06:26Z"},{"alias_kind":"pith_short_12","alias_value":"OJCMNU5RI74I","created_at":"2026-07-05T06:06:26Z"},{"alias_kind":"pith_short_16","alias_value":"OJCMNU5RI74I37UT","created_at":"2026-07-05T06:06:26Z"},{"alias_kind":"pith_short_8","alias_value":"OJCMNU5R","created_at":"2026-07-05T06:06:26Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:OJCMNU5RI74I37UTPGF3NZC3H2","target":"record","payload":{"canonical_record":{"source":{"id":"2305.01473","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-05-01T08:23:55Z","cross_cats_sorted":["cs.LO","math.OC"],"title_canon_sha256":"fb349eb6f73d9d9745eb02a2ab2dc961810c40e3fdead515715f4f4edfca22d1","abstract_canon_sha256":"055bce7842a7d34becfff9817b34d1c5cae671b943c0b60939a2113b8150acfa"},"schema_version":"1.0"},"canonical_sha256":"7244c6d3b147f88dfe93798bb6e45b3eb603895b9f7d541338747d611ca87dcb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:06:26.064860Z","signature_b64":"qP1HDqG1DVKoffwcJf4AbXrVZMxaY9/EvvNcrEfjCxAQbkGZ3nQ8ZPpLsTmQiJd5aBULQ03aYFMGjHG7aV/0DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7244c6d3b147f88dfe93798bb6e45b3eb603895b9f7d541338747d611ca87dcb","last_reissued_at":"2026-07-05T06:06:26.064476Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:06:26.064476Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2305.01473","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-07-05T06:06:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nC2/B5GYPjHm1YAfkqNg+Xfg5VzBz0Ju5QJ6aHQr7Er7zYgvx/U4UYEo5EpUoKuaDDWrCuLTz6rVdNEUij0lCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T16:21:08.545610Z"},"content_sha256":"3a87817833ef61f34d0ff2cb11922a6054c7389b7362d3e0c1ad67663fdb8fca","schema_version":"1.0","event_id":"sha256:3a87817833ef61f34d0ff2cb11922a6054c7389b7362d3e0c1ad67663fdb8fca"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:OJCMNU5RI74I37UTPGF3NZC3H2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Efficient Sensitivity Analysis for Parametric Robust Markov Chains","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","math.OC"],"primary_cat":"cs.LG","authors_text":"Ahmadreza Marandi, Nils Jansen, Sebastian Junges, Thom Badings, Ufuk Topcu","submitted_at":"2023-05-01T08:23:55Z","abstract_excerpt":"We provide a novel method for sensitivity analysis of parametric robust Markov chains. These models incorporate parameters and sets of probability distributions to alleviate the often unrealistic assumption that precise probabilities are available. We measure sensitivity in terms of partial derivatives with respect to the uncertain transition probabilities regarding measures such as the expected reward. As our main contribution, we present an efficient method to compute these partial derivatives. To scale our approach to models with thousands of parameters, we present an extension of this meth"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.01473","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2305.01473/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T06:06:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ggtoQ74Z2SXXWPg7H+xhfigEyAD/aBQfPX0cMVbpUrLnaSxaiElN/BNEVg+2AibkIAwOGw3psyKon3ZisoRYCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T16:21:08.546632Z"},"content_sha256":"51fdff695fbe6e036995f75396fd3d7aec243b63f6b17bea30537283ed94e3bf","schema_version":"1.0","event_id":"sha256:51fdff695fbe6e036995f75396fd3d7aec243b63f6b17bea30537283ed94e3bf"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OJCMNU5RI74I37UTPGF3NZC3H2/bundle.json","state_url":"https://pith.science/pith/OJCMNU5RI74I37UTPGF3NZC3H2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OJCMNU5RI74I37UTPGF3NZC3H2/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-08-03T16:21:08Z","links":{"resolver":"https://pith.science/pith/OJCMNU5RI74I37UTPGF3NZC3H2","bundle":"https://pith.science/pith/OJCMNU5RI74I37UTPGF3NZC3H2/bundle.json","state":"https://pith.science/pith/OJCMNU5RI74I37UTPGF3NZC3H2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OJCMNU5RI74I37UTPGF3NZC3H2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:OJCMNU5RI74I37UTPGF3NZC3H2","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":"055bce7842a7d34becfff9817b34d1c5cae671b943c0b60939a2113b8150acfa","cross_cats_sorted":["cs.LO","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-05-01T08:23:55Z","title_canon_sha256":"fb349eb6f73d9d9745eb02a2ab2dc961810c40e3fdead515715f4f4edfca22d1"},"schema_version":"1.0","source":{"id":"2305.01473","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.01473","created_at":"2026-07-05T06:06:26Z"},{"alias_kind":"arxiv_version","alias_value":"2305.01473v1","created_at":"2026-07-05T06:06:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.01473","created_at":"2026-07-05T06:06:26Z"},{"alias_kind":"pith_short_12","alias_value":"OJCMNU5RI74I","created_at":"2026-07-05T06:06:26Z"},{"alias_kind":"pith_short_16","alias_value":"OJCMNU5RI74I37UT","created_at":"2026-07-05T06:06:26Z"},{"alias_kind":"pith_short_8","alias_value":"OJCMNU5R","created_at":"2026-07-05T06:06:26Z"}],"graph_snapshots":[{"event_id":"sha256:51fdff695fbe6e036995f75396fd3d7aec243b63f6b17bea30537283ed94e3bf","target":"graph","created_at":"2026-07-05T06:06: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2305.01473/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We provide a novel method for sensitivity analysis of parametric robust Markov chains. These models incorporate parameters and sets of probability distributions to alleviate the often unrealistic assumption that precise probabilities are available. We measure sensitivity in terms of partial derivatives with respect to the uncertain transition probabilities regarding measures such as the expected reward. As our main contribution, we present an efficient method to compute these partial derivatives. To scale our approach to models with thousands of parameters, we present an extension of this meth","authors_text":"Ahmadreza Marandi, Nils Jansen, Sebastian Junges, Thom Badings, Ufuk Topcu","cross_cats":["cs.LO","math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-05-01T08:23:55Z","title":"Efficient Sensitivity Analysis for Parametric Robust Markov Chains"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.01473","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:3a87817833ef61f34d0ff2cb11922a6054c7389b7362d3e0c1ad67663fdb8fca","target":"record","created_at":"2026-07-05T06:06: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":"055bce7842a7d34becfff9817b34d1c5cae671b943c0b60939a2113b8150acfa","cross_cats_sorted":["cs.LO","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-05-01T08:23:55Z","title_canon_sha256":"fb349eb6f73d9d9745eb02a2ab2dc961810c40e3fdead515715f4f4edfca22d1"},"schema_version":"1.0","source":{"id":"2305.01473","kind":"arxiv","version":1}},"canonical_sha256":"7244c6d3b147f88dfe93798bb6e45b3eb603895b9f7d541338747d611ca87dcb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7244c6d3b147f88dfe93798bb6e45b3eb603895b9f7d541338747d611ca87dcb","first_computed_at":"2026-07-05T06:06:26.064476Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:06:26.064476Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qP1HDqG1DVKoffwcJf4AbXrVZMxaY9/EvvNcrEfjCxAQbkGZ3nQ8ZPpLsTmQiJd5aBULQ03aYFMGjHG7aV/0DA==","signature_status":"signed_v1","signed_at":"2026-07-05T06:06:26.064860Z","signed_message":"canonical_sha256_bytes"},"source_id":"2305.01473","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3a87817833ef61f34d0ff2cb11922a6054c7389b7362d3e0c1ad67663fdb8fca","sha256:51fdff695fbe6e036995f75396fd3d7aec243b63f6b17bea30537283ed94e3bf"],"state_sha256":"ef60cdc7fd308a4317e88b26a72e7211dd8ac14a2f6f6de585a43246d9d827ff"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"X9lHCgK67vGBSKwMeOuD1H4a12cMtfZcJRDWwhXaJje90eufOrwdLYQcx55F+FDesEBQrHVZUk12UXF0+2BDDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T16:21:08.556855Z","bundle_sha256":"4f6abe0b5bd75e2b6842df9dda191083152fbb3640a2c7023a458576ed1fa169"}}