{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:E44NLMB2IEYESH2SG7AL4T4DT2","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":"8061c5a74333b5efb817535d904089f8f166ffe3b3d84ef9a7b5d8d48590f938","cross_cats_sorted":["math.PR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2024-01-19T11:35:14Z","title_canon_sha256":"de65b7d7de96e81a86d211f747fa72cf10d0e1c7fcf8ebd2e643fe0533a864bc"},"schema_version":"1.0","source":{"id":"2401.10638","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.10638","created_at":"2026-07-05T07:47:08Z"},{"alias_kind":"arxiv_version","alias_value":"2401.10638v2","created_at":"2026-07-05T07:47:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.10638","created_at":"2026-07-05T07:47:08Z"},{"alias_kind":"pith_short_12","alias_value":"E44NLMB2IEYE","created_at":"2026-07-05T07:47:08Z"},{"alias_kind":"pith_short_16","alias_value":"E44NLMB2IEYESH2S","created_at":"2026-07-05T07:47:08Z"},{"alias_kind":"pith_short_8","alias_value":"E44NLMB2","created_at":"2026-07-05T07:47:08Z"}],"graph_snapshots":[{"event_id":"sha256:d62a4f203168eb725c62281d636c87a892ce62011f22f7695bef7a6db7d48733","target":"graph","created_at":"2026-07-05T07:47:08Z","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/2401.10638/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We study the accurate and efficient computation of the expected number of times each state is visited in discrete- and continuous-time Markov chains. To obtain sound accuracy guarantees efficiently, we lift interval iteration and topological approaches known from the computation of reachability probabilities and expected rewards. We further study applications of expected visiting times, including the sound computation of the stationary distribution and expected rewards conditioned on reaching multiple goal states. The implementation of our methods in the probabilistic model checker Storm scale","authors_text":"Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler","cross_cats":["math.PR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2024-01-19T11:35:14Z","title":"Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.10638","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:34b69e956c1a078566e7c668b6e486b6650ecf0c868af91f9788c49300e20562","target":"record","created_at":"2026-07-05T07:47:08Z","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":"8061c5a74333b5efb817535d904089f8f166ffe3b3d84ef9a7b5d8d48590f938","cross_cats_sorted":["math.PR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2024-01-19T11:35:14Z","title_canon_sha256":"de65b7d7de96e81a86d211f747fa72cf10d0e1c7fcf8ebd2e643fe0533a864bc"},"schema_version":"1.0","source":{"id":"2401.10638","kind":"arxiv","version":2}},"canonical_sha256":"2738d5b03a4130491f5237c0be4f839e9a5dfac4374d02ab93e1002dc16ca6ed","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2738d5b03a4130491f5237c0be4f839e9a5dfac4374d02ab93e1002dc16ca6ed","first_computed_at":"2026-07-05T07:47:08.040502Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:47:08.040502Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WPQ+vaUdsKQX+Ol92G90C9qBYgANQOT58gN+gOV3aSNHv+cx4ITTAZ6nLHrJbq9o7/oJfGHsRRRmVR+nMrecBw==","signature_status":"signed_v1","signed_at":"2026-07-05T07:47:08.041011Z","signed_message":"canonical_sha256_bytes"},"source_id":"2401.10638","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:34b69e956c1a078566e7c668b6e486b6650ecf0c868af91f9788c49300e20562","sha256:d62a4f203168eb725c62281d636c87a892ce62011f22f7695bef7a6db7d48733"],"state_sha256":"7b5c21b4fb97945f598531de5bcccb33188fb532e48124754c0c51582633ea70"}