{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:YBR3KPJV5CTYVOQOGJMGGY7VCD","short_pith_number":"pith:YBR3KPJV","canonical_record":{"source":{"id":"2503.16034","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-03-20T11:00:56Z","cross_cats_sorted":[],"title_canon_sha256":"bed5d52ef70203bcab166308cf669525fcb0d9152d8a2f5e24e90bd9b0cef296","abstract_canon_sha256":"927cca2a88b3fa1de4346a4049af63d94e7db6202bba6cf6ee897d68def7fb76"},"schema_version":"1.0"},"canonical_sha256":"c063b53d35e8a78aba0e32586363f510ffc4b5bf3e687576f4e1c66f2321bb46","source":{"kind":"arxiv","id":"2503.16034","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.16034","created_at":"2026-07-05T10:38:44Z"},{"alias_kind":"arxiv_version","alias_value":"2503.16034v2","created_at":"2026-07-05T10:38:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.16034","created_at":"2026-07-05T10:38:44Z"},{"alias_kind":"pith_short_12","alias_value":"YBR3KPJV5CTY","created_at":"2026-07-05T10:38:44Z"},{"alias_kind":"pith_short_16","alias_value":"YBR3KPJV5CTYVOQO","created_at":"2026-07-05T10:38:44Z"},{"alias_kind":"pith_short_8","alias_value":"YBR3KPJV","created_at":"2026-07-05T10:38:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:YBR3KPJV5CTYVOQOGJMGGY7VCD","target":"record","payload":{"canonical_record":{"source":{"id":"2503.16034","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-03-20T11:00:56Z","cross_cats_sorted":[],"title_canon_sha256":"bed5d52ef70203bcab166308cf669525fcb0d9152d8a2f5e24e90bd9b0cef296","abstract_canon_sha256":"927cca2a88b3fa1de4346a4049af63d94e7db6202bba6cf6ee897d68def7fb76"},"schema_version":"1.0"},"canonical_sha256":"c063b53d35e8a78aba0e32586363f510ffc4b5bf3e687576f4e1c66f2321bb46","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:38:44.810891Z","signature_b64":"jmZ2VcYXfFFOAnYflAdexfbiWZcSUIMYrdnHu5E9W6vpI+jaK3nYh3LFoPRUulFI5VR13kQATkLwvowwQUBOAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c063b53d35e8a78aba0e32586363f510ffc4b5bf3e687576f4e1c66f2321bb46","last_reissued_at":"2026-07-05T10:38:44.810362Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:38:44.810362Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2503.16034","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-07-05T10:38:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MncV1RnmOzjgDwBbVOThP9JjimzY4wMgDhh9O7eTuySIWe2a8neF1W8JBaySwyR3Dj6bMZW1JRk0UhWlIsRtAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T02:08:33.263716Z"},"content_sha256":"4b253e891e16d925c34f182472d432d9a7faaee4d17ff0adf2ec6d1cfbbfa0db","schema_version":"1.0","event_id":"sha256:4b253e891e16d925c34f182472d432d9a7faaee4d17ff0adf2ec6d1cfbbfa0db"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:YBR3KPJV5CTYVOQOGJMGGY7VCD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verification and External Parameter Inference for Stochastic World Models","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Gricel V\\'azquez, Micah Bassett, Radu Calinescu, Simos Gerasimou, Sinem Getir Yaman","submitted_at":"2025-03-20T11:00:56Z","abstract_excerpt":"Given its ability to analyse stochastic models ranging from discrete and continuous-time Markov chains to Markov decision processes and stochastic games, probabilistic model checking (PMC) is widely used to verify system dependability and performance properties. However, modelling the behaviour of, and verifying these properties for many software-intensive systems requires the joint analysis of multiple interdependent stochastic models of different types, which existing PMC techniques and tools cannot handle. To address this limitation, we introduce a tool-supported UniversaL stochasTIc Modell"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.16034","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2503.16034/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-05T10:38:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0LAZ0KQXR7FfkcBg1R1xoSw/5hnlbZ//PPrWI/SwqDc7ORB30ZR2dpMiOiwJ1LQl35C+hj1DLYGxy5U922LMDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T02:08:33.264225Z"},"content_sha256":"1e20e74b8c5438ec43927614600085c5753c5abe74fb67473683c14d6ac3d6a9","schema_version":"1.0","event_id":"sha256:1e20e74b8c5438ec43927614600085c5753c5abe74fb67473683c14d6ac3d6a9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YBR3KPJV5CTYVOQOGJMGGY7VCD/bundle.json","state_url":"https://pith.science/pith/YBR3KPJV5CTYVOQOGJMGGY7VCD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YBR3KPJV5CTYVOQOGJMGGY7VCD/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-05T02:08:33Z","links":{"resolver":"https://pith.science/pith/YBR3KPJV5CTYVOQOGJMGGY7VCD","bundle":"https://pith.science/pith/YBR3KPJV5CTYVOQOGJMGGY7VCD/bundle.json","state":"https://pith.science/pith/YBR3KPJV5CTYVOQOGJMGGY7VCD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YBR3KPJV5CTYVOQOGJMGGY7VCD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:YBR3KPJV5CTYVOQOGJMGGY7VCD","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":"927cca2a88b3fa1de4346a4049af63d94e7db6202bba6cf6ee897d68def7fb76","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-03-20T11:00:56Z","title_canon_sha256":"bed5d52ef70203bcab166308cf669525fcb0d9152d8a2f5e24e90bd9b0cef296"},"schema_version":"1.0","source":{"id":"2503.16034","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.16034","created_at":"2026-07-05T10:38:44Z"},{"alias_kind":"arxiv_version","alias_value":"2503.16034v2","created_at":"2026-07-05T10:38:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.16034","created_at":"2026-07-05T10:38:44Z"},{"alias_kind":"pith_short_12","alias_value":"YBR3KPJV5CTY","created_at":"2026-07-05T10:38:44Z"},{"alias_kind":"pith_short_16","alias_value":"YBR3KPJV5CTYVOQO","created_at":"2026-07-05T10:38:44Z"},{"alias_kind":"pith_short_8","alias_value":"YBR3KPJV","created_at":"2026-07-05T10:38:44Z"}],"graph_snapshots":[{"event_id":"sha256:1e20e74b8c5438ec43927614600085c5753c5abe74fb67473683c14d6ac3d6a9","target":"graph","created_at":"2026-07-05T10:38:44Z","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/2503.16034/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Given its ability to analyse stochastic models ranging from discrete and continuous-time Markov chains to Markov decision processes and stochastic games, probabilistic model checking (PMC) is widely used to verify system dependability and performance properties. However, modelling the behaviour of, and verifying these properties for many software-intensive systems requires the joint analysis of multiple interdependent stochastic models of different types, which existing PMC techniques and tools cannot handle. To address this limitation, we introduce a tool-supported UniversaL stochasTIc Modell","authors_text":"Gricel V\\'azquez, Micah Bassett, Radu Calinescu, Simos Gerasimou, Sinem Getir Yaman","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-03-20T11:00:56Z","title":"Verification and External Parameter Inference for Stochastic World Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.16034","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:4b253e891e16d925c34f182472d432d9a7faaee4d17ff0adf2ec6d1cfbbfa0db","target":"record","created_at":"2026-07-05T10:38:44Z","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":"927cca2a88b3fa1de4346a4049af63d94e7db6202bba6cf6ee897d68def7fb76","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2025-03-20T11:00:56Z","title_canon_sha256":"bed5d52ef70203bcab166308cf669525fcb0d9152d8a2f5e24e90bd9b0cef296"},"schema_version":"1.0","source":{"id":"2503.16034","kind":"arxiv","version":2}},"canonical_sha256":"c063b53d35e8a78aba0e32586363f510ffc4b5bf3e687576f4e1c66f2321bb46","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c063b53d35e8a78aba0e32586363f510ffc4b5bf3e687576f4e1c66f2321bb46","first_computed_at":"2026-07-05T10:38:44.810362Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:38:44.810362Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jmZ2VcYXfFFOAnYflAdexfbiWZcSUIMYrdnHu5E9W6vpI+jaK3nYh3LFoPRUulFI5VR13kQATkLwvowwQUBOAA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:38:44.810891Z","signed_message":"canonical_sha256_bytes"},"source_id":"2503.16034","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4b253e891e16d925c34f182472d432d9a7faaee4d17ff0adf2ec6d1cfbbfa0db","sha256:1e20e74b8c5438ec43927614600085c5753c5abe74fb67473683c14d6ac3d6a9"],"state_sha256":"d415faa46908703b4a384d83e92fd18eead5528ff75127b52104652520975cd3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"siGPAuBFx7PQqdoQUDON8vqd3Fy5LWFxJIJ2ZWD+J5g/mZ20CkJVGd/mp43/4qqlkKTqxgfrXVLVCT44VIZGDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T02:08:33.269137Z","bundle_sha256":"a1a45a2e859c4f7fbc5a6ec84afd8ea4f3143e2f0201f8237f2e99516c1ef7b2"}}