{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:FW3KFGW3MTX2XQWJWZBOKUQ2LF","short_pith_number":"pith:FW3KFGW3","canonical_record":{"source":{"id":"1909.05539","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2019-09-12T09:56:24Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"1687fb898727cce0861b146273a82ab2125405628c113c981b88982cb0c0a543","abstract_canon_sha256":"3ba259039ae85ce6e45c737ff4338a58878c14be04113bb3113b47636e8b1576"},"schema_version":"1.0"},"canonical_sha256":"2db6a29adb64efabc2c9b642e5521a5940c2df3bc462715428f342db2e4e6803","source":{"kind":"arxiv","id":"1909.05539","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1909.05539","created_at":"2026-07-05T00:04:15Z"},{"alias_kind":"arxiv_version","alias_value":"1909.05539v1","created_at":"2026-07-05T00:04:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1909.05539","created_at":"2026-07-05T00:04:15Z"},{"alias_kind":"pith_short_12","alias_value":"FW3KFGW3MTX2","created_at":"2026-07-05T00:04:15Z"},{"alias_kind":"pith_short_16","alias_value":"FW3KFGW3MTX2XQWJ","created_at":"2026-07-05T00:04:15Z"},{"alias_kind":"pith_short_8","alias_value":"FW3KFGW3","created_at":"2026-07-05T00:04:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:FW3KFGW3MTX2XQWJWZBOKUQ2LF","target":"record","payload":{"canonical_record":{"source":{"id":"1909.05539","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2019-09-12T09:56:24Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"1687fb898727cce0861b146273a82ab2125405628c113c981b88982cb0c0a543","abstract_canon_sha256":"3ba259039ae85ce6e45c737ff4338a58878c14be04113bb3113b47636e8b1576"},"schema_version":"1.0"},"canonical_sha256":"2db6a29adb64efabc2c9b642e5521a5940c2df3bc462715428f342db2e4e6803","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:04:15.697462Z","signature_b64":"BZYmwVe2HN5aygkhTFpomvFs4cDosXaXKiqmxwnV8uKp8p3IvTaSctNq82UPQxnNPMNvyqx49B0m54m0N9SnCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2db6a29adb64efabc2c9b642e5521a5940c2df3bc462715428f342db2e4e6803","last_reissued_at":"2026-07-05T00:04:15.697063Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:04:15.697063Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1909.05539","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-07-05T00:04:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bHAF6tCtFnp0OP9LbsQj1HkhTOEp02zcWDFic8XGa9+JCX6JJkOUDJRxARiCal6wttn34Y/xL2u+qTJIW+PuAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T10:58:50.785187Z"},"content_sha256":"7e072bc1bb5853ad9b09e672e69363c4b1eacd0e73101454bef4d861dbf1502c","schema_version":"1.0","event_id":"sha256:7e072bc1bb5853ad9b09e672e69363c4b1eacd0e73101454bef4d861dbf1502c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:FW3KFGW3MTX2XQWJWZBOKUQ2LF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.GT","authors_text":"Alexander Svozil, Krishnendu Chatterjee, Monika Henzinger, Wolfgang Dvor\\'ak","submitted_at":"2019-09-12T09:56:24Z","abstract_excerpt":"The fundamental model-checking problem, given as input a model and a specification, asks for the algorithmic verification of whether the model satisfies the specification. Two classical models for reactive systems are graphs and Markov decision processes (MDPs). A basic specification formalism in the verification of reactive systems is the strong fairness (aka Streett) objective, where given different types of requests and corresponding grants, the requirement is that for each type, if the request event happens infinitely often, then the corresponding grant event must also happen infinitely of"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1909.05539","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/1909.05539/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-05T00:04:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fX3FPAxHZJWGmx2oTQADwpnGq8ip4R9b0PkVGoc9nozT7nR4oO9Tl+8ICCILvGGGw2stRbvzfP9pM+15ivBLDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T10:58:50.785698Z"},"content_sha256":"2f5047e0914948874ef20e7416b16aef01a4fd1c5472461b4882575e60a0dd46","schema_version":"1.0","event_id":"sha256:2f5047e0914948874ef20e7416b16aef01a4fd1c5472461b4882575e60a0dd46"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FW3KFGW3MTX2XQWJWZBOKUQ2LF/bundle.json","state_url":"https://pith.science/pith/FW3KFGW3MTX2XQWJWZBOKUQ2LF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FW3KFGW3MTX2XQWJWZBOKUQ2LF/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-06T10:58:50Z","links":{"resolver":"https://pith.science/pith/FW3KFGW3MTX2XQWJWZBOKUQ2LF","bundle":"https://pith.science/pith/FW3KFGW3MTX2XQWJWZBOKUQ2LF/bundle.json","state":"https://pith.science/pith/FW3KFGW3MTX2XQWJWZBOKUQ2LF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FW3KFGW3MTX2XQWJWZBOKUQ2LF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:FW3KFGW3MTX2XQWJWZBOKUQ2LF","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":"3ba259039ae85ce6e45c737ff4338a58878c14be04113bb3113b47636e8b1576","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2019-09-12T09:56:24Z","title_canon_sha256":"1687fb898727cce0861b146273a82ab2125405628c113c981b88982cb0c0a543"},"schema_version":"1.0","source":{"id":"1909.05539","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1909.05539","created_at":"2026-07-05T00:04:15Z"},{"alias_kind":"arxiv_version","alias_value":"1909.05539v1","created_at":"2026-07-05T00:04:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1909.05539","created_at":"2026-07-05T00:04:15Z"},{"alias_kind":"pith_short_12","alias_value":"FW3KFGW3MTX2","created_at":"2026-07-05T00:04:15Z"},{"alias_kind":"pith_short_16","alias_value":"FW3KFGW3MTX2XQWJ","created_at":"2026-07-05T00:04:15Z"},{"alias_kind":"pith_short_8","alias_value":"FW3KFGW3","created_at":"2026-07-05T00:04:15Z"}],"graph_snapshots":[{"event_id":"sha256:2f5047e0914948874ef20e7416b16aef01a4fd1c5472461b4882575e60a0dd46","target":"graph","created_at":"2026-07-05T00:04:15Z","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/1909.05539/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The fundamental model-checking problem, given as input a model and a specification, asks for the algorithmic verification of whether the model satisfies the specification. Two classical models for reactive systems are graphs and Markov decision processes (MDPs). A basic specification formalism in the verification of reactive systems is the strong fairness (aka Streett) objective, where given different types of requests and corresponding grants, the requirement is that for each type, if the request event happens infinitely often, then the corresponding grant event must also happen infinitely of","authors_text":"Alexander Svozil, Krishnendu Chatterjee, Monika Henzinger, Wolfgang Dvor\\'ak","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2019-09-12T09:56:24Z","title":"Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1909.05539","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:7e072bc1bb5853ad9b09e672e69363c4b1eacd0e73101454bef4d861dbf1502c","target":"record","created_at":"2026-07-05T00:04:15Z","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":"3ba259039ae85ce6e45c737ff4338a58878c14be04113bb3113b47636e8b1576","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2019-09-12T09:56:24Z","title_canon_sha256":"1687fb898727cce0861b146273a82ab2125405628c113c981b88982cb0c0a543"},"schema_version":"1.0","source":{"id":"1909.05539","kind":"arxiv","version":1}},"canonical_sha256":"2db6a29adb64efabc2c9b642e5521a5940c2df3bc462715428f342db2e4e6803","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2db6a29adb64efabc2c9b642e5521a5940c2df3bc462715428f342db2e4e6803","first_computed_at":"2026-07-05T00:04:15.697063Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:04:15.697063Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BZYmwVe2HN5aygkhTFpomvFs4cDosXaXKiqmxwnV8uKp8p3IvTaSctNq82UPQxnNPMNvyqx49B0m54m0N9SnCg==","signature_status":"signed_v1","signed_at":"2026-07-05T00:04:15.697462Z","signed_message":"canonical_sha256_bytes"},"source_id":"1909.05539","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7e072bc1bb5853ad9b09e672e69363c4b1eacd0e73101454bef4d861dbf1502c","sha256:2f5047e0914948874ef20e7416b16aef01a4fd1c5472461b4882575e60a0dd46"],"state_sha256":"1c51abdf032fcecab2137a3a13241913c182fa529a64e383e2c804d603480f5e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rwwYvjQV6g20horJaCpGTOmMdVmR6oDHYMrjIBvxVX0DM8C+ues2XuyywxhA0qsklEgNXU/0A8IfPfw4klTbAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T10:58:50.790501Z","bundle_sha256":"c954c933ae6403355b00757c22718dfda08b8e7fc77a9985a5d2b38d39d4da63"}}