{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:GOVUEDHCS43HXYLOP3ZYKMTI32","short_pith_number":"pith:GOVUEDHC","canonical_record":{"source":{"id":"2107.00108","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2021-06-30T21:23:56Z","cross_cats_sorted":["cs.AI","cs.LO"],"title_canon_sha256":"7a8496678cc99f36a25e96ae598d6faa4a8c4c523252ec85305c586e530bc4f6","abstract_canon_sha256":"c2645e8ac01d58aa58caa0ed2d23093967ce16b803f476f8199951892c593313"},"schema_version":"1.0"},"canonical_sha256":"33ab420ce297367be16e7ef3853268de91f440a25d93a4ed4484051ea86ebfeb","source":{"kind":"arxiv","id":"2107.00108","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2107.00108","created_at":"2026-07-05T02:54:20Z"},{"alias_kind":"arxiv_version","alias_value":"2107.00108v1","created_at":"2026-07-05T02:54:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2107.00108","created_at":"2026-07-05T02:54:20Z"},{"alias_kind":"pith_short_12","alias_value":"GOVUEDHCS43H","created_at":"2026-07-05T02:54:20Z"},{"alias_kind":"pith_short_16","alias_value":"GOVUEDHCS43HXYLO","created_at":"2026-07-05T02:54:20Z"},{"alias_kind":"pith_short_8","alias_value":"GOVUEDHC","created_at":"2026-07-05T02:54:20Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:GOVUEDHCS43HXYLOP3ZYKMTI32","target":"record","payload":{"canonical_record":{"source":{"id":"2107.00108","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2021-06-30T21:23:56Z","cross_cats_sorted":["cs.AI","cs.LO"],"title_canon_sha256":"7a8496678cc99f36a25e96ae598d6faa4a8c4c523252ec85305c586e530bc4f6","abstract_canon_sha256":"c2645e8ac01d58aa58caa0ed2d23093967ce16b803f476f8199951892c593313"},"schema_version":"1.0"},"canonical_sha256":"33ab420ce297367be16e7ef3853268de91f440a25d93a4ed4484051ea86ebfeb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:54:20.585900Z","signature_b64":"7GjXSGNa4dGheTb4q7SqqYeUnsa2RDfP9ryrUhOKNuVNfyzGWpclMQXPXZM6zB2HAvULIDb+0DqhplaL4j9UAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"33ab420ce297367be16e7ef3853268de91f440a25d93a4ed4484051ea86ebfeb","last_reissued_at":"2026-07-05T02:54:20.585524Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:54:20.585524Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2107.00108","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-05T02:54:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sh3ZdChA9Elc0c4eyhQ1fXbafCp3IpQtsaPCFDrI23AAa0aosbJcmXiE4vLue0Iq3R516OR5ofixb08pvY8oDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T21:04:53.162606Z"},"content_sha256":"6339698782c3552675b28a8abc6c8dbcff3830106b0426143badba3d238811a1","schema_version":"1.0","event_id":"sha256:6339698782c3552675b28a8abc6c8dbcff3830106b0426143badba3d238811a1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:GOVUEDHCS43HXYLOP3ZYKMTI32","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Convex Optimization for Parameter Synthesis in MDPs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LO"],"primary_cat":"math.OC","authors_text":"Joost-Pieter Katoen, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ufuk Topcu","submitted_at":"2021-06-30T21:23:56Z","abstract_excerpt":"Probabilistic model checking aims to prove whether a Markov decision process (MDP) satisfies a temporal logic specification. The underlying methods rely on an often unrealistic assumption that the MDP is precisely known. Consequently, parametric MDPs (pMDPs) extend MDPs with transition probabilities that are functions over unspecified parameters. The parameter synthesis problem is to compute an instantiation of these unspecified parameters such that the resulting MDP satisfies the temporal logic specification. We formulate the parameter synthesis problem as a quadratically constrained quadrati"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2107.00108","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/2107.00108/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-05T02:54:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w09sIdUgOPfxj83sIodT+MdcLpXqWNjrTE+gPB9bYNHBlAK1F3Z4040SR2bgYvx6rV0v6AqV8u/eQi2PjNqJBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T21:04:53.162991Z"},"content_sha256":"e59ec5db36ae83a2f04891018ac1e388e2102be4177f5ff97dcd1aa0dd3146ce","schema_version":"1.0","event_id":"sha256:e59ec5db36ae83a2f04891018ac1e388e2102be4177f5ff97dcd1aa0dd3146ce"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GOVUEDHCS43HXYLOP3ZYKMTI32/bundle.json","state_url":"https://pith.science/pith/GOVUEDHCS43HXYLOP3ZYKMTI32/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GOVUEDHCS43HXYLOP3ZYKMTI32/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-04T21:04:53Z","links":{"resolver":"https://pith.science/pith/GOVUEDHCS43HXYLOP3ZYKMTI32","bundle":"https://pith.science/pith/GOVUEDHCS43HXYLOP3ZYKMTI32/bundle.json","state":"https://pith.science/pith/GOVUEDHCS43HXYLOP3ZYKMTI32/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GOVUEDHCS43HXYLOP3ZYKMTI32/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:GOVUEDHCS43HXYLOP3ZYKMTI32","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":"c2645e8ac01d58aa58caa0ed2d23093967ce16b803f476f8199951892c593313","cross_cats_sorted":["cs.AI","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2021-06-30T21:23:56Z","title_canon_sha256":"7a8496678cc99f36a25e96ae598d6faa4a8c4c523252ec85305c586e530bc4f6"},"schema_version":"1.0","source":{"id":"2107.00108","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2107.00108","created_at":"2026-07-05T02:54:20Z"},{"alias_kind":"arxiv_version","alias_value":"2107.00108v1","created_at":"2026-07-05T02:54:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2107.00108","created_at":"2026-07-05T02:54:20Z"},{"alias_kind":"pith_short_12","alias_value":"GOVUEDHCS43H","created_at":"2026-07-05T02:54:20Z"},{"alias_kind":"pith_short_16","alias_value":"GOVUEDHCS43HXYLO","created_at":"2026-07-05T02:54:20Z"},{"alias_kind":"pith_short_8","alias_value":"GOVUEDHC","created_at":"2026-07-05T02:54:20Z"}],"graph_snapshots":[{"event_id":"sha256:e59ec5db36ae83a2f04891018ac1e388e2102be4177f5ff97dcd1aa0dd3146ce","target":"graph","created_at":"2026-07-05T02:54: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2107.00108/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Probabilistic model checking aims to prove whether a Markov decision process (MDP) satisfies a temporal logic specification. The underlying methods rely on an often unrealistic assumption that the MDP is precisely known. Consequently, parametric MDPs (pMDPs) extend MDPs with transition probabilities that are functions over unspecified parameters. The parameter synthesis problem is to compute an instantiation of these unspecified parameters such that the resulting MDP satisfies the temporal logic specification. We formulate the parameter synthesis problem as a quadratically constrained quadrati","authors_text":"Joost-Pieter Katoen, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ufuk Topcu","cross_cats":["cs.AI","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2021-06-30T21:23:56Z","title":"Convex Optimization for Parameter Synthesis in MDPs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2107.00108","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:6339698782c3552675b28a8abc6c8dbcff3830106b0426143badba3d238811a1","target":"record","created_at":"2026-07-05T02:54: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":"c2645e8ac01d58aa58caa0ed2d23093967ce16b803f476f8199951892c593313","cross_cats_sorted":["cs.AI","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2021-06-30T21:23:56Z","title_canon_sha256":"7a8496678cc99f36a25e96ae598d6faa4a8c4c523252ec85305c586e530bc4f6"},"schema_version":"1.0","source":{"id":"2107.00108","kind":"arxiv","version":1}},"canonical_sha256":"33ab420ce297367be16e7ef3853268de91f440a25d93a4ed4484051ea86ebfeb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"33ab420ce297367be16e7ef3853268de91f440a25d93a4ed4484051ea86ebfeb","first_computed_at":"2026-07-05T02:54:20.585524Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:54:20.585524Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7GjXSGNa4dGheTb4q7SqqYeUnsa2RDfP9ryrUhOKNuVNfyzGWpclMQXPXZM6zB2HAvULIDb+0DqhplaL4j9UAg==","signature_status":"signed_v1","signed_at":"2026-07-05T02:54:20.585900Z","signed_message":"canonical_sha256_bytes"},"source_id":"2107.00108","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6339698782c3552675b28a8abc6c8dbcff3830106b0426143badba3d238811a1","sha256:e59ec5db36ae83a2f04891018ac1e388e2102be4177f5ff97dcd1aa0dd3146ce"],"state_sha256":"ed0465734a61db78970d904b0299267fa43829358b7cf3a7b11b74e5a13e8920"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uUjC3VG/odfDQpt+llzQqAm2k94rjRW6l9i5avD7GFapQGLob6csoqYbe8Ejs1zFo3pyHEI9AEQK0poNI/HyDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T21:04:53.165730Z","bundle_sha256":"57a14985e777e7374b5b44e4b49ac6523fa74a8ef632c62b8e4703d30d20779d"}}