{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:2G5JG2O47MYGNC5ZKMJ7O7H56Q","short_pith_number":"pith:2G5JG2O4","canonical_record":{"source":{"id":"1602.05113","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-16T17:55:37Z","cross_cats_sorted":[],"title_canon_sha256":"a55a22977170374e73d70c6bf5a8c604343b46e54577442138e764af006863dc","abstract_canon_sha256":"06bc8f53881fb106bd47a3e517f884a5a1e5dd00468d648f52dcd62795518c53"},"schema_version":"1.0"},"canonical_sha256":"d1ba9369dcfb30668bb95313f77cfdf43a955a53f3a0604c6c82953a8c5b41f2","source":{"kind":"arxiv","id":"1602.05113","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.05113","created_at":"2026-05-18T01:13:37Z"},{"alias_kind":"arxiv_version","alias_value":"1602.05113v2","created_at":"2026-05-18T01:13:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.05113","created_at":"2026-05-18T01:13:37Z"},{"alias_kind":"pith_short_12","alias_value":"2G5JG2O47MYG","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"2G5JG2O47MYGNC5Z","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"2G5JG2O4","created_at":"2026-05-18T12:29:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:2G5JG2O47MYGNC5ZKMJ7O7H56Q","target":"record","payload":{"canonical_record":{"source":{"id":"1602.05113","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-16T17:55:37Z","cross_cats_sorted":[],"title_canon_sha256":"a55a22977170374e73d70c6bf5a8c604343b46e54577442138e764af006863dc","abstract_canon_sha256":"06bc8f53881fb106bd47a3e517f884a5a1e5dd00468d648f52dcd62795518c53"},"schema_version":"1.0"},"canonical_sha256":"d1ba9369dcfb30668bb95313f77cfdf43a955a53f3a0604c6c82953a8c5b41f2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:13:37.683102Z","signature_b64":"IE3unvGVy0Of8ISLnuL8I1oCCIf963DKmqI+0CYxTQ42P+LK1mEHEOdlA93zR2nEdQClYBZxKVOldkQJ02uNCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d1ba9369dcfb30668bb95313f77cfdf43a955a53f3a0604c6c82953a8c5b41f2","last_reissued_at":"2026-05-18T01:13:37.682461Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:13:37.682461Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1602.05113","source_version":2,"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-18T01:13:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nj/ZmSClKhWchIz3USeWkF7hC9zfm8naFNJieiQhNoPPs9nypbS8NOblxUuVizbbjpE+koBJXcNjvyxMqEFFDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T03:49:05.951184Z"},"content_sha256":"5735894a0a05993972f3d9d399740662a40fd68a789a015641086820fd474d7f","schema_version":"1.0","event_id":"sha256:5735894a0a05993972f3d9d399740662a40fd68a789a015641086820fd474d7f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:2G5JG2O47MYGNC5ZKMJ7O7H56Q","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Parameter Synthesis for Markov Models: Faster Than Ever","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Christian Dehnert, Joost-Pieter Katoen, Nils Jansen, Sebastian Junges, Tim Quatmann","submitted_at":"2016-02-16T17:55:37Z","abstract_excerpt":"We propose a simple technique for verifying probabilistic models whose transition probabilities are parametric. The key is to replace parametric transitions by nondeterministic choices of extremal values. Analysing the resulting parameter-free model using off-the-shelf means yields (refinable) lower and upper bounds on probabilities of regions in the parameter space. The technique outperforms the existing analysis of parametric Markov chains by several orders of magnitude regarding both run-time and scalability. Its beauty is its applicability to various probabilistic models. It in particular "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.05113","kind":"arxiv","version":2},"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-18T01:13:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YCADdcikABdxi0zu3Ps69bnvQG57howNotCcum5jHERNQRIKhK/SVeH1u0iN+lt7VZJeDysIlP9ZHSZ7fFLFDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T03:49:05.951875Z"},"content_sha256":"0732c7f6bbbdb0d699ae631fc14992f6a0f1abe8494d9481f30db2826c35d6d2","schema_version":"1.0","event_id":"sha256:0732c7f6bbbdb0d699ae631fc14992f6a0f1abe8494d9481f30db2826c35d6d2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2G5JG2O47MYGNC5ZKMJ7O7H56Q/bundle.json","state_url":"https://pith.science/pith/2G5JG2O47MYGNC5ZKMJ7O7H56Q/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2G5JG2O47MYGNC5ZKMJ7O7H56Q/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-25T03:49:05Z","links":{"resolver":"https://pith.science/pith/2G5JG2O47MYGNC5ZKMJ7O7H56Q","bundle":"https://pith.science/pith/2G5JG2O47MYGNC5ZKMJ7O7H56Q/bundle.json","state":"https://pith.science/pith/2G5JG2O47MYGNC5ZKMJ7O7H56Q/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2G5JG2O47MYGNC5ZKMJ7O7H56Q/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:2G5JG2O47MYGNC5ZKMJ7O7H56Q","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":"06bc8f53881fb106bd47a3e517f884a5a1e5dd00468d648f52dcd62795518c53","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-16T17:55:37Z","title_canon_sha256":"a55a22977170374e73d70c6bf5a8c604343b46e54577442138e764af006863dc"},"schema_version":"1.0","source":{"id":"1602.05113","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.05113","created_at":"2026-05-18T01:13:37Z"},{"alias_kind":"arxiv_version","alias_value":"1602.05113v2","created_at":"2026-05-18T01:13:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.05113","created_at":"2026-05-18T01:13:37Z"},{"alias_kind":"pith_short_12","alias_value":"2G5JG2O47MYG","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"2G5JG2O47MYGNC5Z","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"2G5JG2O4","created_at":"2026-05-18T12:29:55Z"}],"graph_snapshots":[{"event_id":"sha256:0732c7f6bbbdb0d699ae631fc14992f6a0f1abe8494d9481f30db2826c35d6d2","target":"graph","created_at":"2026-05-18T01:13:37Z","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":"We propose a simple technique for verifying probabilistic models whose transition probabilities are parametric. The key is to replace parametric transitions by nondeterministic choices of extremal values. Analysing the resulting parameter-free model using off-the-shelf means yields (refinable) lower and upper bounds on probabilities of regions in the parameter space. The technique outperforms the existing analysis of parametric Markov chains by several orders of magnitude regarding both run-time and scalability. Its beauty is its applicability to various probabilistic models. It in particular ","authors_text":"Christian Dehnert, Joost-Pieter Katoen, Nils Jansen, Sebastian Junges, Tim Quatmann","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-16T17:55:37Z","title":"Parameter Synthesis for Markov Models: Faster Than Ever"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.05113","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:5735894a0a05993972f3d9d399740662a40fd68a789a015641086820fd474d7f","target":"record","created_at":"2026-05-18T01:13:37Z","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":"06bc8f53881fb106bd47a3e517f884a5a1e5dd00468d648f52dcd62795518c53","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-02-16T17:55:37Z","title_canon_sha256":"a55a22977170374e73d70c6bf5a8c604343b46e54577442138e764af006863dc"},"schema_version":"1.0","source":{"id":"1602.05113","kind":"arxiv","version":2}},"canonical_sha256":"d1ba9369dcfb30668bb95313f77cfdf43a955a53f3a0604c6c82953a8c5b41f2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d1ba9369dcfb30668bb95313f77cfdf43a955a53f3a0604c6c82953a8c5b41f2","first_computed_at":"2026-05-18T01:13:37.682461Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:13:37.682461Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IE3unvGVy0Of8ISLnuL8I1oCCIf963DKmqI+0CYxTQ42P+LK1mEHEOdlA93zR2nEdQClYBZxKVOldkQJ02uNCg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:13:37.683102Z","signed_message":"canonical_sha256_bytes"},"source_id":"1602.05113","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5735894a0a05993972f3d9d399740662a40fd68a789a015641086820fd474d7f","sha256:0732c7f6bbbdb0d699ae631fc14992f6a0f1abe8494d9481f30db2826c35d6d2"],"state_sha256":"64806839d1e811d359e3b993400c0ff83eb550243b1370230afd42dc28300a32"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zsoAxBqP48cU5y8aKYWK4yN3rLhZxY+td9J7CgbtlCKCAbk9KZ5Z5ItQsVN0lkK9VZ73WXHj195vTUpT1mroAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T03:49:05.955525Z","bundle_sha256":"2cdf2ee25c07b242457b9aa4bd015efd8ef862c596917d6eea58cd70b7999c50"}}