{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:I55Y2CLLGUX2VNOVB4G5LME27N","short_pith_number":"pith:I55Y2CLL","schema_version":"1.0","canonical_sha256":"477b8d096b352faab5d50f0dd5b09afb568f4f67c85b9da7449d730efcbe7b2f","source":{"kind":"arxiv","id":"2403.00491","version":2},"attestation_state":"computed","paper":{"title":"Analyzing Divergence for Nondeterministic Probabilistic Models","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Hao Wu, Huan Long, Wenbo Zhang, Xian Xu, Yuxi Fu","submitted_at":"2024-03-01T12:17:34Z","abstract_excerpt":"Branching and weak probabilistic bisimilarities are two well-known notions capturing behavioral equivalence between nondeterministic probabilistic systems. For probabilistic systems, divergence is of major concern. Recently several divergence-sensitive refinements of branching and weak probabilistic bisimilarities have been proposed in the literature. Both the definitions of these equivalences and the techniques to investigate them differ significantly. This paper presents a comprehensive comparative study on divergence-sensitive behavioral equivalence relations that refine the branching and w"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2403.00491","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-03-01T12:17:34Z","cross_cats_sorted":[],"title_canon_sha256":"e58f210bd90417a11ca14b47bf0446eb56c87f516ce64a3825259c1f7af27ce0","abstract_canon_sha256":"247ac368642bfc781b0d10122cebbca4dc3022e69ae50a2e2b4bf87f2b7d9bf9"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:54:44.081991Z","signature_b64":"JgbDuLM+ItG7ol2btCBqqkfaIlS5fZbEqglQSzIRiDAP2zVxo0727XK94X3i0umc5f2Kv9zP9zEQGZF8PslTDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"477b8d096b352faab5d50f0dd5b09afb568f4f67c85b9da7449d730efcbe7b2f","last_reissued_at":"2026-07-05T09:54:44.081551Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:54:44.081551Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Analyzing Divergence for Nondeterministic Probabilistic Models","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Hao Wu, Huan Long, Wenbo Zhang, Xian Xu, Yuxi Fu","submitted_at":"2024-03-01T12:17:34Z","abstract_excerpt":"Branching and weak probabilistic bisimilarities are two well-known notions capturing behavioral equivalence between nondeterministic probabilistic systems. For probabilistic systems, divergence is of major concern. Recently several divergence-sensitive refinements of branching and weak probabilistic bisimilarities have been proposed in the literature. Both the definitions of these equivalences and the techniques to investigate them differ significantly. This paper presents a comprehensive comparative study on divergence-sensitive behavioral equivalence relations that refine the branching and w"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.00491","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/2403.00491/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2403.00491","created_at":"2026-07-05T09:54:44.081610+00:00"},{"alias_kind":"arxiv_version","alias_value":"2403.00491v2","created_at":"2026-07-05T09:54:44.081610+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.00491","created_at":"2026-07-05T09:54:44.081610+00:00"},{"alias_kind":"pith_short_12","alias_value":"I55Y2CLLGUX2","created_at":"2026-07-05T09:54:44.081610+00:00"},{"alias_kind":"pith_short_16","alias_value":"I55Y2CLLGUX2VNOV","created_at":"2026-07-05T09:54:44.081610+00:00"},{"alias_kind":"pith_short_8","alias_value":"I55Y2CLL","created_at":"2026-07-05T09:54:44.081610+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2507.19886","citing_title":"A Unifying Approach to Probabilistic Testing Equivalences","ref_index":25,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/I55Y2CLLGUX2VNOVB4G5LME27N","json":"https://pith.science/pith/I55Y2CLLGUX2VNOVB4G5LME27N.json","graph_json":"https://pith.science/api/pith-number/I55Y2CLLGUX2VNOVB4G5LME27N/graph.json","events_json":"https://pith.science/api/pith-number/I55Y2CLLGUX2VNOVB4G5LME27N/events.json","paper":"https://pith.science/paper/I55Y2CLL"},"agent_actions":{"view_html":"https://pith.science/pith/I55Y2CLLGUX2VNOVB4G5LME27N","download_json":"https://pith.science/pith/I55Y2CLLGUX2VNOVB4G5LME27N.json","view_paper":"https://pith.science/paper/I55Y2CLL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2403.00491&json=true","fetch_graph":"https://pith.science/api/pith-number/I55Y2CLLGUX2VNOVB4G5LME27N/graph.json","fetch_events":"https://pith.science/api/pith-number/I55Y2CLLGUX2VNOVB4G5LME27N/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/I55Y2CLLGUX2VNOVB4G5LME27N/action/timestamp_anchor","attest_storage":"https://pith.science/pith/I55Y2CLLGUX2VNOVB4G5LME27N/action/storage_attestation","attest_author":"https://pith.science/pith/I55Y2CLLGUX2VNOVB4G5LME27N/action/author_attestation","sign_citation":"https://pith.science/pith/I55Y2CLLGUX2VNOVB4G5LME27N/action/citation_signature","submit_replication":"https://pith.science/pith/I55Y2CLLGUX2VNOVB4G5LME27N/action/replication_record"}},"created_at":"2026-07-05T09:54:44.081610+00:00","updated_at":"2026-07-05T09:54:44.081610+00:00"}