{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:XAZPNSLQT3TC3IUWWDEPZDWWJO","short_pith_number":"pith:XAZPNSLQ","canonical_record":{"source":{"id":"2606.24880","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-23T17:55:48Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"856e06e06b98289d44fef83f082797773fa8a50ba40cfb7e53f057731bd6a567","abstract_canon_sha256":"7040bb0265e63aadbe35bce25a0850981374b0f91b9f20d2422b2e77a36ddf96"},"schema_version":"1.0"},"canonical_sha256":"b832f6c9709ee62da296b0c8fc8ed64b8c0e20b6e898a334e1359a362d3ce061","source":{"kind":"arxiv","id":"2606.24880","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.24880","created_at":"2026-06-24T01:15:45Z"},{"alias_kind":"arxiv_version","alias_value":"2606.24880v1","created_at":"2026-06-24T01:15:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.24880","created_at":"2026-06-24T01:15:45Z"},{"alias_kind":"pith_short_12","alias_value":"XAZPNSLQT3TC","created_at":"2026-06-24T01:15:45Z"},{"alias_kind":"pith_short_16","alias_value":"XAZPNSLQT3TC3IUW","created_at":"2026-06-24T01:15:45Z"},{"alias_kind":"pith_short_8","alias_value":"XAZPNSLQ","created_at":"2026-06-24T01:15:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:XAZPNSLQT3TC3IUWWDEPZDWWJO","target":"record","payload":{"canonical_record":{"source":{"id":"2606.24880","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-23T17:55:48Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"856e06e06b98289d44fef83f082797773fa8a50ba40cfb7e53f057731bd6a567","abstract_canon_sha256":"7040bb0265e63aadbe35bce25a0850981374b0f91b9f20d2422b2e77a36ddf96"},"schema_version":"1.0"},"canonical_sha256":"b832f6c9709ee62da296b0c8fc8ed64b8c0e20b6e898a334e1359a362d3ce061","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-24T01:15:45.240718Z","signature_b64":"eFNpiit2BoYEHpwNDHL/p+5Vx5qRSJVtcw4v2KVRrFMidFcoHcrtfptxpLSWb5uDQTJ5pmWzZcFcYYK0H0xSBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b832f6c9709ee62da296b0c8fc8ed64b8c0e20b6e898a334e1359a362d3ce061","last_reissued_at":"2026-06-24T01:15:45.240371Z","signature_status":"signed_v1","first_computed_at":"2026-06-24T01:15:45.240371Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.24880","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-06-24T01:15:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8eHztYFUfSeAo3opQJaeq6WkuXSVRWhQhlnqq93EFn51flax4zA4jiVEMwEgnST5i/PFXKDNvbwkvq29nDNLAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T20:12:27.849654Z"},"content_sha256":"16ae6ef48ac4ed522af433cda063db09fd711a90e07514be24b2f91fa98bf689","schema_version":"1.0","event_id":"sha256:16ae6ef48ac4ed522af433cda063db09fd711a90e07514be24b2f91fa98bf689"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:XAZPNSLQT3TC3IUWWDEPZDWWJO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Stability Checking of Markov Jump Linear Systems via Probabilistic Temporal Logic (Extended Version)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.LO","authors_text":"Holger Hermanns, Lena Becker","submitted_at":"2026-06-23T17:55:48Z","abstract_excerpt":"Markov jump linear systems (MJLSs) model dynamical phenomena subject to random switching among multiple linear modes, driven by an underlying Markov chain. Classical notions such as mean and mean-square stability characterize the long-term asymptotic behaviour of the first and second moments of an MJLS, but they can be overly conservative or even misleading when only a specific subset of initial conditions is of interest. We tackle this challenge through the lens of model checking, where reasoning about specific sets of initial conditions is intrinsic to the approach. We begin by formalizing p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.24880","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.24880/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-06-24T01:15:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CXX8yhh9wAG8E5/snxlLS7PFk/E+WgIn14HPRNuRdX2xAf80iNDzderJV0jyPdmqWLiLXfxsAQTDunPRn0YdCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T20:12:27.850024Z"},"content_sha256":"9495d2357f7faf9a1debd895896d0dd38e4b70e60389244696d3cfaaab1bfbc6","schema_version":"1.0","event_id":"sha256:9495d2357f7faf9a1debd895896d0dd38e4b70e60389244696d3cfaaab1bfbc6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XAZPNSLQT3TC3IUWWDEPZDWWJO/bundle.json","state_url":"https://pith.science/pith/XAZPNSLQT3TC3IUWWDEPZDWWJO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XAZPNSLQT3TC3IUWWDEPZDWWJO/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-06-26T20:12:27Z","links":{"resolver":"https://pith.science/pith/XAZPNSLQT3TC3IUWWDEPZDWWJO","bundle":"https://pith.science/pith/XAZPNSLQT3TC3IUWWDEPZDWWJO/bundle.json","state":"https://pith.science/pith/XAZPNSLQT3TC3IUWWDEPZDWWJO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XAZPNSLQT3TC3IUWWDEPZDWWJO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:XAZPNSLQT3TC3IUWWDEPZDWWJO","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":"7040bb0265e63aadbe35bce25a0850981374b0f91b9f20d2422b2e77a36ddf96","cross_cats_sorted":["cs.FL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-23T17:55:48Z","title_canon_sha256":"856e06e06b98289d44fef83f082797773fa8a50ba40cfb7e53f057731bd6a567"},"schema_version":"1.0","source":{"id":"2606.24880","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.24880","created_at":"2026-06-24T01:15:45Z"},{"alias_kind":"arxiv_version","alias_value":"2606.24880v1","created_at":"2026-06-24T01:15:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.24880","created_at":"2026-06-24T01:15:45Z"},{"alias_kind":"pith_short_12","alias_value":"XAZPNSLQT3TC","created_at":"2026-06-24T01:15:45Z"},{"alias_kind":"pith_short_16","alias_value":"XAZPNSLQT3TC3IUW","created_at":"2026-06-24T01:15:45Z"},{"alias_kind":"pith_short_8","alias_value":"XAZPNSLQ","created_at":"2026-06-24T01:15:45Z"}],"graph_snapshots":[{"event_id":"sha256:9495d2357f7faf9a1debd895896d0dd38e4b70e60389244696d3cfaaab1bfbc6","target":"graph","created_at":"2026-06-24T01:15:45Z","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/2606.24880/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Markov jump linear systems (MJLSs) model dynamical phenomena subject to random switching among multiple linear modes, driven by an underlying Markov chain. Classical notions such as mean and mean-square stability characterize the long-term asymptotic behaviour of the first and second moments of an MJLS, but they can be overly conservative or even misleading when only a specific subset of initial conditions is of interest. We tackle this challenge through the lens of model checking, where reasoning about specific sets of initial conditions is intrinsic to the approach. We begin by formalizing p","authors_text":"Holger Hermanns, Lena Becker","cross_cats":["cs.FL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-23T17:55:48Z","title":"Stability Checking of Markov Jump Linear Systems via Probabilistic Temporal Logic (Extended Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.24880","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:16ae6ef48ac4ed522af433cda063db09fd711a90e07514be24b2f91fa98bf689","target":"record","created_at":"2026-06-24T01:15:45Z","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":"7040bb0265e63aadbe35bce25a0850981374b0f91b9f20d2422b2e77a36ddf96","cross_cats_sorted":["cs.FL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-23T17:55:48Z","title_canon_sha256":"856e06e06b98289d44fef83f082797773fa8a50ba40cfb7e53f057731bd6a567"},"schema_version":"1.0","source":{"id":"2606.24880","kind":"arxiv","version":1}},"canonical_sha256":"b832f6c9709ee62da296b0c8fc8ed64b8c0e20b6e898a334e1359a362d3ce061","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b832f6c9709ee62da296b0c8fc8ed64b8c0e20b6e898a334e1359a362d3ce061","first_computed_at":"2026-06-24T01:15:45.240371Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-24T01:15:45.240371Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eFNpiit2BoYEHpwNDHL/p+5Vx5qRSJVtcw4v2KVRrFMidFcoHcrtfptxpLSWb5uDQTJ5pmWzZcFcYYK0H0xSBQ==","signature_status":"signed_v1","signed_at":"2026-06-24T01:15:45.240718Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.24880","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:16ae6ef48ac4ed522af433cda063db09fd711a90e07514be24b2f91fa98bf689","sha256:9495d2357f7faf9a1debd895896d0dd38e4b70e60389244696d3cfaaab1bfbc6"],"state_sha256":"c72cd0c2cd49854522e4aae3be7f526d2cf19620b3d654c81d2a6bf1fa1789d5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"43v4PEr9HlaN+Mjk8Q+p1OwqhaInmJKZOMjA4USulwjYIIJ1qHF+JrzaZBiDhsJrmTjmD3Cgk0YwLfQO3OhCDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T20:12:27.852008Z","bundle_sha256":"674d25fd4b2840ef35f272367aea87a0e8a46710dbc1ebc03d78cab5f477b38d"}}