{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:OEJIT6GF72U2X2YWMREI5FUQ2Y","short_pith_number":"pith:OEJIT6GF","canonical_record":{"source":{"id":"1907.03928","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-07-09T01:12:25Z","cross_cats_sorted":[],"title_canon_sha256":"714f0195b1be0b3f947ee101e2f76bbc23dcf1e972729f96ae4e054acd5ecbf7","abstract_canon_sha256":"fd304b48c80ac1ab1ac5df9c990bf74215f409dd5ac24dd770e871457b0082d3"},"schema_version":"1.0"},"canonical_sha256":"711289f8c5fea9abeb1664488e9690d61e395d19b37510c11b55536b066d1def","source":{"kind":"arxiv","id":"1907.03928","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.03928","created_at":"2026-05-17T23:41:06Z"},{"alias_kind":"arxiv_version","alias_value":"1907.03928v1","created_at":"2026-05-17T23:41:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.03928","created_at":"2026-05-17T23:41:06Z"},{"alias_kind":"pith_short_12","alias_value":"OEJIT6GF72U2","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_16","alias_value":"OEJIT6GF72U2X2YW","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_8","alias_value":"OEJIT6GF","created_at":"2026-05-18T12:33:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:OEJIT6GF72U2X2YWMREI5FUQ2Y","target":"record","payload":{"canonical_record":{"source":{"id":"1907.03928","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-07-09T01:12:25Z","cross_cats_sorted":[],"title_canon_sha256":"714f0195b1be0b3f947ee101e2f76bbc23dcf1e972729f96ae4e054acd5ecbf7","abstract_canon_sha256":"fd304b48c80ac1ab1ac5df9c990bf74215f409dd5ac24dd770e871457b0082d3"},"schema_version":"1.0"},"canonical_sha256":"711289f8c5fea9abeb1664488e9690d61e395d19b37510c11b55536b066d1def","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:41:06.342648Z","signature_b64":"giHUweWjlPl3VeTRZEKHilsiUT5PQ3suwoDDEDBF7dTALqTefkVkxnre+MPxsHtumRV8XxvsjvPJJKEhHWX3Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"711289f8c5fea9abeb1664488e9690d61e395d19b37510c11b55536b066d1def","last_reissued_at":"2026-05-17T23:41:06.341860Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:41:06.341860Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1907.03928","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-17T23:41:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jWrAFddo1pubide2Xj5fHbmqDHVq+R/4AsbMXRnUrz2gEfzXkhwtBYNiwJHFmtiKAa77HkEVG3EdOz2e1k1ECA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T08:46:26.355310Z"},"content_sha256":"f38cd1a87aef51eef712c1f259724486b5cc6e9a287ae7ea4634f31330fda13a","schema_version":"1.0","event_id":"sha256:f38cd1a87aef51eef712c1f259724486b5cc6e9a287ae7ea4634f31330fda13a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:OEJIT6GF72U2X2YWMREI5FUQ2Y","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Characterising Probabilistic Alternating Simulation for Concurrent Games","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Chenyi Zhang, Jun Pang","submitted_at":"2019-07-09T01:12:25Z","abstract_excerpt":"Probabilistic game structures combine both nondeterminism and stochasticity, where players repeatedly take actions simultaneously to move to the next state of the concurrent game. Probabilistic alternating simulation is an important tool to compare the behaviour of different probabilistic game structures. In this paper, we present a sound and complete modal characterisation of this simulation relation by proposing a new logic based on probabilistic distributions. The logic enables a player to enforce a property in the next state or distribution. Its extension with fixpoints, which also charact"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.03928","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-17T23:41:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w4T50QrskKS/nILxA9sWP9e5AFDalVkuvq/4XRAg8NZcZMKr4YXqPTmLkjEeGtr3FIc1N0O9hjphPsjEMGzRCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T08:46:26.355987Z"},"content_sha256":"f92474b17fee70ee1b607bae1014225e8bacdc1a292c2f52f1b96c9bbbc657ce","schema_version":"1.0","event_id":"sha256:f92474b17fee70ee1b607bae1014225e8bacdc1a292c2f52f1b96c9bbbc657ce"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OEJIT6GF72U2X2YWMREI5FUQ2Y/bundle.json","state_url":"https://pith.science/pith/OEJIT6GF72U2X2YWMREI5FUQ2Y/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OEJIT6GF72U2X2YWMREI5FUQ2Y/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-26T08:46:26Z","links":{"resolver":"https://pith.science/pith/OEJIT6GF72U2X2YWMREI5FUQ2Y","bundle":"https://pith.science/pith/OEJIT6GF72U2X2YWMREI5FUQ2Y/bundle.json","state":"https://pith.science/pith/OEJIT6GF72U2X2YWMREI5FUQ2Y/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OEJIT6GF72U2X2YWMREI5FUQ2Y/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:OEJIT6GF72U2X2YWMREI5FUQ2Y","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":"fd304b48c80ac1ab1ac5df9c990bf74215f409dd5ac24dd770e871457b0082d3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-07-09T01:12:25Z","title_canon_sha256":"714f0195b1be0b3f947ee101e2f76bbc23dcf1e972729f96ae4e054acd5ecbf7"},"schema_version":"1.0","source":{"id":"1907.03928","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.03928","created_at":"2026-05-17T23:41:06Z"},{"alias_kind":"arxiv_version","alias_value":"1907.03928v1","created_at":"2026-05-17T23:41:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.03928","created_at":"2026-05-17T23:41:06Z"},{"alias_kind":"pith_short_12","alias_value":"OEJIT6GF72U2","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_16","alias_value":"OEJIT6GF72U2X2YW","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_8","alias_value":"OEJIT6GF","created_at":"2026-05-18T12:33:24Z"}],"graph_snapshots":[{"event_id":"sha256:f92474b17fee70ee1b607bae1014225e8bacdc1a292c2f52f1b96c9bbbc657ce","target":"graph","created_at":"2026-05-17T23:41:06Z","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":"Probabilistic game structures combine both nondeterminism and stochasticity, where players repeatedly take actions simultaneously to move to the next state of the concurrent game. Probabilistic alternating simulation is an important tool to compare the behaviour of different probabilistic game structures. In this paper, we present a sound and complete modal characterisation of this simulation relation by proposing a new logic based on probabilistic distributions. The logic enables a player to enforce a property in the next state or distribution. Its extension with fixpoints, which also charact","authors_text":"Chenyi Zhang, Jun Pang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-07-09T01:12:25Z","title":"Characterising Probabilistic Alternating Simulation for Concurrent Games"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.03928","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:f38cd1a87aef51eef712c1f259724486b5cc6e9a287ae7ea4634f31330fda13a","target":"record","created_at":"2026-05-17T23:41:06Z","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":"fd304b48c80ac1ab1ac5df9c990bf74215f409dd5ac24dd770e871457b0082d3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-07-09T01:12:25Z","title_canon_sha256":"714f0195b1be0b3f947ee101e2f76bbc23dcf1e972729f96ae4e054acd5ecbf7"},"schema_version":"1.0","source":{"id":"1907.03928","kind":"arxiv","version":1}},"canonical_sha256":"711289f8c5fea9abeb1664488e9690d61e395d19b37510c11b55536b066d1def","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"711289f8c5fea9abeb1664488e9690d61e395d19b37510c11b55536b066d1def","first_computed_at":"2026-05-17T23:41:06.341860Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:41:06.341860Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"giHUweWjlPl3VeTRZEKHilsiUT5PQ3suwoDDEDBF7dTALqTefkVkxnre+MPxsHtumRV8XxvsjvPJJKEhHWX3Dw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:41:06.342648Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.03928","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f38cd1a87aef51eef712c1f259724486b5cc6e9a287ae7ea4634f31330fda13a","sha256:f92474b17fee70ee1b607bae1014225e8bacdc1a292c2f52f1b96c9bbbc657ce"],"state_sha256":"8c9be46904ca70a1aca316e319433c541d50bda0f972cc14d0fc4a834ac117e7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"B8MmAM2QPAEdOD3x3yqArFep5l9QCAv+AWC0+Xk+ubT50cYuhgzxYaXC0xm0IjohkBRes67vFuKVOtuZHYmmAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T08:46:26.359541Z","bundle_sha256":"387a4753c91b84c47106f3fb55c89d4e0a040c103b421949584cd37600a57b8b"}}