{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:AKRXSS6Z2B5ZSX6PXHONLNGWEH","short_pith_number":"pith:AKRXSS6Z","canonical_record":{"source":{"id":"1106.1850","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-06-09T16:33:24Z","cross_cats_sorted":[],"title_canon_sha256":"bd7332adc70dc3a57ee33ede3fecc098a643ec288d38f10894cc076ab48f8a89","abstract_canon_sha256":"36e0c5ec7417972584ea64e17f65e51a05998113fd3adb94f1012bf8c603c86f"},"schema_version":"1.0"},"canonical_sha256":"02a3794bd9d07b995fcfb9dcd5b4d621e4a302151feb388c63de9fe7e69624b2","source":{"kind":"arxiv","id":"1106.1850","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1106.1850","created_at":"2026-05-18T01:37:39Z"},{"alias_kind":"arxiv_version","alias_value":"1106.1850v3","created_at":"2026-05-18T01:37:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1106.1850","created_at":"2026-05-18T01:37:39Z"},{"alias_kind":"pith_short_12","alias_value":"AKRXSS6Z2B5Z","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_16","alias_value":"AKRXSS6Z2B5ZSX6P","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_8","alias_value":"AKRXSS6Z","created_at":"2026-05-18T12:26:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:AKRXSS6Z2B5ZSX6PXHONLNGWEH","target":"record","payload":{"canonical_record":{"source":{"id":"1106.1850","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-06-09T16:33:24Z","cross_cats_sorted":[],"title_canon_sha256":"bd7332adc70dc3a57ee33ede3fecc098a643ec288d38f10894cc076ab48f8a89","abstract_canon_sha256":"36e0c5ec7417972584ea64e17f65e51a05998113fd3adb94f1012bf8c603c86f"},"schema_version":"1.0"},"canonical_sha256":"02a3794bd9d07b995fcfb9dcd5b4d621e4a302151feb388c63de9fe7e69624b2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:39.441171Z","signature_b64":"Tv5lC4EwT0v+M4FyhmCrxDC+d5fUjCe5aZbbtW8gjwkUZicf1QB3mZlqfnOtHZpPRcKAMjkP8qEe3t4TniAfDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"02a3794bd9d07b995fcfb9dcd5b4d621e4a302151feb388c63de9fe7e69624b2","last_reissued_at":"2026-05-18T01:37:39.440520Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:39.440520Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1106.1850","source_version":3,"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-18T01:37:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aAdV/+6w4xGVEEy1EwyU98SOpwxgKjfvuI5HkIP5tK6FHIRTY/LcCpHNvt2jrwYg+mpB4JwvRNa1xTTOJWbZAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T02:34:58.867936Z"},"content_sha256":"7b335a4460db03ce6a91b6bb440adf78d06a32b699093b96c919a67f6e33a530","schema_version":"1.0","event_id":"sha256:7b335a4460db03ce6a91b6bb440adf78d06a32b699093b96c919a67f6e33a530"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:AKRXSS6Z2B5ZSX6PXHONLNGWEH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Coarse abstractions make Zeno behaviours difficult to detect","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"B Srivathsan (Univ. Bordeaux, Fr\\'ed\\'eric Herbreteau (Univ. Bordeaux, LaBRI)","submitted_at":"2011-06-09T16:33:24Z","abstract_excerpt":"An infinite run of a timed automaton is Zeno if it spans only a finite amount of time. Such runs are considered unfeasible and hence it is important to detect them, or dually, find runs that are non-Zeno. Over the years important improvements have been obtained in checking reachability properties for timed automata. We show that some of these very efficient optimizations make testing for Zeno runs costly. In particular we show NP-completeness for the LU-extrapolation of Behrmann et al. We analyze the source of this complexity in detail and give general conditions on extrapolation operators tha"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1106.1850","kind":"arxiv","version":3},"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-18T01:37:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jPJfJ6vV8zrNR65waA+7ZEZmfaCVsN6Eny8cGMOnt8Kac1daGrZt1Fw11y/FrIQTSBDA8rY91p2/lBJaYoRQCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T02:34:58.868285Z"},"content_sha256":"9e6f037bb567a90a9503b7d2993fdc6f6df76c11ab1b66d324b5c658359f2fd2","schema_version":"1.0","event_id":"sha256:9e6f037bb567a90a9503b7d2993fdc6f6df76c11ab1b66d324b5c658359f2fd2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AKRXSS6Z2B5ZSX6PXHONLNGWEH/bundle.json","state_url":"https://pith.science/pith/AKRXSS6Z2B5ZSX6PXHONLNGWEH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AKRXSS6Z2B5ZSX6PXHONLNGWEH/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-28T02:34:58Z","links":{"resolver":"https://pith.science/pith/AKRXSS6Z2B5ZSX6PXHONLNGWEH","bundle":"https://pith.science/pith/AKRXSS6Z2B5ZSX6PXHONLNGWEH/bundle.json","state":"https://pith.science/pith/AKRXSS6Z2B5ZSX6PXHONLNGWEH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AKRXSS6Z2B5ZSX6PXHONLNGWEH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:AKRXSS6Z2B5ZSX6PXHONLNGWEH","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":"36e0c5ec7417972584ea64e17f65e51a05998113fd3adb94f1012bf8c603c86f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-06-09T16:33:24Z","title_canon_sha256":"bd7332adc70dc3a57ee33ede3fecc098a643ec288d38f10894cc076ab48f8a89"},"schema_version":"1.0","source":{"id":"1106.1850","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1106.1850","created_at":"2026-05-18T01:37:39Z"},{"alias_kind":"arxiv_version","alias_value":"1106.1850v3","created_at":"2026-05-18T01:37:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1106.1850","created_at":"2026-05-18T01:37:39Z"},{"alias_kind":"pith_short_12","alias_value":"AKRXSS6Z2B5Z","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_16","alias_value":"AKRXSS6Z2B5ZSX6P","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_8","alias_value":"AKRXSS6Z","created_at":"2026-05-18T12:26:24Z"}],"graph_snapshots":[{"event_id":"sha256:9e6f037bb567a90a9503b7d2993fdc6f6df76c11ab1b66d324b5c658359f2fd2","target":"graph","created_at":"2026-05-18T01:37:39Z","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":"An infinite run of a timed automaton is Zeno if it spans only a finite amount of time. Such runs are considered unfeasible and hence it is important to detect them, or dually, find runs that are non-Zeno. Over the years important improvements have been obtained in checking reachability properties for timed automata. We show that some of these very efficient optimizations make testing for Zeno runs costly. In particular we show NP-completeness for the LU-extrapolation of Behrmann et al. We analyze the source of this complexity in detail and give general conditions on extrapolation operators tha","authors_text":"B Srivathsan (Univ. Bordeaux, Fr\\'ed\\'eric Herbreteau (Univ. Bordeaux, LaBRI)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-06-09T16:33:24Z","title":"Coarse abstractions make Zeno behaviours difficult to detect"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1106.1850","kind":"arxiv","version":3},"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:7b335a4460db03ce6a91b6bb440adf78d06a32b699093b96c919a67f6e33a530","target":"record","created_at":"2026-05-18T01:37:39Z","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":"36e0c5ec7417972584ea64e17f65e51a05998113fd3adb94f1012bf8c603c86f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-06-09T16:33:24Z","title_canon_sha256":"bd7332adc70dc3a57ee33ede3fecc098a643ec288d38f10894cc076ab48f8a89"},"schema_version":"1.0","source":{"id":"1106.1850","kind":"arxiv","version":3}},"canonical_sha256":"02a3794bd9d07b995fcfb9dcd5b4d621e4a302151feb388c63de9fe7e69624b2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"02a3794bd9d07b995fcfb9dcd5b4d621e4a302151feb388c63de9fe7e69624b2","first_computed_at":"2026-05-18T01:37:39.440520Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:39.440520Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Tv5lC4EwT0v+M4FyhmCrxDC+d5fUjCe5aZbbtW8gjwkUZicf1QB3mZlqfnOtHZpPRcKAMjkP8qEe3t4TniAfDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:39.441171Z","signed_message":"canonical_sha256_bytes"},"source_id":"1106.1850","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7b335a4460db03ce6a91b6bb440adf78d06a32b699093b96c919a67f6e33a530","sha256:9e6f037bb567a90a9503b7d2993fdc6f6df76c11ab1b66d324b5c658359f2fd2"],"state_sha256":"45206c86e9fad4756012989910157a719fadcb225360c5c7c6f5d548cee7a647"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q7pKE0kTc1LUxJsxvdS8eIVPFF5/D1bx7z6zyriKi76csSfSSZgwR2R2yRIn47Om7rjgmscY4FyLBZ/PMi6PBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T02:34:58.870271Z","bundle_sha256":"da06b8c1f3364b6d89dfe901c06d5d458816b943e8a29fa0025b196f12096d7e"}}