{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2009:6LVGH5WQZ6TCJH3BPYLQKP2HSO","short_pith_number":"pith:6LVGH5WQ","canonical_record":{"source":{"id":"0911.5642","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-11-30T13:51:26Z","cross_cats_sorted":[],"title_canon_sha256":"e5e0c4b1ff3ae7baa64bc41e7301473ae8111631b3e9fdaf608d0a2dbe3e0758","abstract_canon_sha256":"dc306575a138012b59dcaad671e2b0ebaa9d23f1f2348e01839ce143fde69329"},"schema_version":"1.0"},"canonical_sha256":"f2ea63f6d0cfa6249f617e17053f479397b2cfd317c228d3f6461f6d826a985f","source":{"kind":"arxiv","id":"0911.5642","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0911.5642","created_at":"2026-05-18T02:24:46Z"},{"alias_kind":"arxiv_version","alias_value":"0911.5642v2","created_at":"2026-05-18T02:24:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0911.5642","created_at":"2026-05-18T02:24:46Z"},{"alias_kind":"pith_short_12","alias_value":"6LVGH5WQZ6TC","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"6LVGH5WQZ6TCJH3B","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"6LVGH5WQ","created_at":"2026-05-18T12:25:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2009:6LVGH5WQZ6TCJH3BPYLQKP2HSO","target":"record","payload":{"canonical_record":{"source":{"id":"0911.5642","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-11-30T13:51:26Z","cross_cats_sorted":[],"title_canon_sha256":"e5e0c4b1ff3ae7baa64bc41e7301473ae8111631b3e9fdaf608d0a2dbe3e0758","abstract_canon_sha256":"dc306575a138012b59dcaad671e2b0ebaa9d23f1f2348e01839ce143fde69329"},"schema_version":"1.0"},"canonical_sha256":"f2ea63f6d0cfa6249f617e17053f479397b2cfd317c228d3f6461f6d826a985f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:24:46.043704Z","signature_b64":"mVtlcXGLMZ2OqEB8pA0vkP13WHNq7GvNec7vKBhbWXcJsl2AoVSOiJ1nwD2cNMpXGWJaDbxu09O1r8SjVtmQDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f2ea63f6d0cfa6249f617e17053f479397b2cfd317c228d3f6461f6d826a985f","last_reissued_at":"2026-05-18T02:24:46.042909Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:24:46.042909Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0911.5642","source_version":2,"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-18T02:24:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7G8WGOIIN3lERqji2AuLiI8AgSFyBBlv78zTUFhzSYsZM9lD1UqeXguofj/+51jhKUYVyw95Y8UVzUlzHh1aAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T03:44:01.847441Z"},"content_sha256":"38742dd47dded365e41ca78e3915bdfb3aee4d6e43c321b78fa55dfe1f4209dc","schema_version":"1.0","event_id":"sha256:38742dd47dded365e41ca78e3915bdfb3aee4d6e43c321b78fa55dfe1f4209dc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2009:6LVGH5WQZ6TCJH3BPYLQKP2HSO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Theory of Sampling for Continuous-time Metric Temporal Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Carlo A. Furia, Matteo Rossi","submitted_at":"2009-11-30T13:51:26Z","abstract_excerpt":"This paper revisits the classical notion of sampling in the setting of real-time temporal logics for the modeling and analysis of systems. The relationship between the satisfiability of Metric Temporal Logic (MTL) formulas over continuous-time models and over discrete-time models is studied. It is shown to what extent discrete-time sequences obtained by sampling continuous-time signals capture the semantics of MTL formulas over the two time domains. The main results apply to \"flat\" formulas that do not nest temporal operators and can be applied to the problem of reducing the verification probl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0911.5642","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":""},"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-18T02:24:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Lx9A27AYaVBKZCpLQ1rz8+kEFD0eSbv7kcZoY0rlltyZd9KkRo0qLP1b7nndZFK9+2Q8YenCLpbHmnZYafAiAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T03:44:01.847797Z"},"content_sha256":"f474fd3dc79b6bab9f45f4e1b84004f4d06a14b134a4d0f48a7e0390262f6d17","schema_version":"1.0","event_id":"sha256:f474fd3dc79b6bab9f45f4e1b84004f4d06a14b134a4d0f48a7e0390262f6d17"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6LVGH5WQZ6TCJH3BPYLQKP2HSO/bundle.json","state_url":"https://pith.science/pith/6LVGH5WQZ6TCJH3BPYLQKP2HSO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6LVGH5WQZ6TCJH3BPYLQKP2HSO/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-12T03:44:01Z","links":{"resolver":"https://pith.science/pith/6LVGH5WQZ6TCJH3BPYLQKP2HSO","bundle":"https://pith.science/pith/6LVGH5WQZ6TCJH3BPYLQKP2HSO/bundle.json","state":"https://pith.science/pith/6LVGH5WQZ6TCJH3BPYLQKP2HSO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6LVGH5WQZ6TCJH3BPYLQKP2HSO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:6LVGH5WQZ6TCJH3BPYLQKP2HSO","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":"dc306575a138012b59dcaad671e2b0ebaa9d23f1f2348e01839ce143fde69329","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-11-30T13:51:26Z","title_canon_sha256":"e5e0c4b1ff3ae7baa64bc41e7301473ae8111631b3e9fdaf608d0a2dbe3e0758"},"schema_version":"1.0","source":{"id":"0911.5642","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0911.5642","created_at":"2026-05-18T02:24:46Z"},{"alias_kind":"arxiv_version","alias_value":"0911.5642v2","created_at":"2026-05-18T02:24:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0911.5642","created_at":"2026-05-18T02:24:46Z"},{"alias_kind":"pith_short_12","alias_value":"6LVGH5WQZ6TC","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"6LVGH5WQZ6TCJH3B","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"6LVGH5WQ","created_at":"2026-05-18T12:25:58Z"}],"graph_snapshots":[{"event_id":"sha256:f474fd3dc79b6bab9f45f4e1b84004f4d06a14b134a4d0f48a7e0390262f6d17","target":"graph","created_at":"2026-05-18T02:24:46Z","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":"This paper revisits the classical notion of sampling in the setting of real-time temporal logics for the modeling and analysis of systems. The relationship between the satisfiability of Metric Temporal Logic (MTL) formulas over continuous-time models and over discrete-time models is studied. It is shown to what extent discrete-time sequences obtained by sampling continuous-time signals capture the semantics of MTL formulas over the two time domains. The main results apply to \"flat\" formulas that do not nest temporal operators and can be applied to the problem of reducing the verification probl","authors_text":"Carlo A. Furia, Matteo Rossi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-11-30T13:51:26Z","title":"A Theory of Sampling for Continuous-time Metric Temporal Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0911.5642","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:38742dd47dded365e41ca78e3915bdfb3aee4d6e43c321b78fa55dfe1f4209dc","target":"record","created_at":"2026-05-18T02:24:46Z","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":"dc306575a138012b59dcaad671e2b0ebaa9d23f1f2348e01839ce143fde69329","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-11-30T13:51:26Z","title_canon_sha256":"e5e0c4b1ff3ae7baa64bc41e7301473ae8111631b3e9fdaf608d0a2dbe3e0758"},"schema_version":"1.0","source":{"id":"0911.5642","kind":"arxiv","version":2}},"canonical_sha256":"f2ea63f6d0cfa6249f617e17053f479397b2cfd317c228d3f6461f6d826a985f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f2ea63f6d0cfa6249f617e17053f479397b2cfd317c228d3f6461f6d826a985f","first_computed_at":"2026-05-18T02:24:46.042909Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:24:46.042909Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mVtlcXGLMZ2OqEB8pA0vkP13WHNq7GvNec7vKBhbWXcJsl2AoVSOiJ1nwD2cNMpXGWJaDbxu09O1r8SjVtmQDw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:24:46.043704Z","signed_message":"canonical_sha256_bytes"},"source_id":"0911.5642","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:38742dd47dded365e41ca78e3915bdfb3aee4d6e43c321b78fa55dfe1f4209dc","sha256:f474fd3dc79b6bab9f45f4e1b84004f4d06a14b134a4d0f48a7e0390262f6d17"],"state_sha256":"c0bc50ba38e44c5aad3fcd81830f36e4612f96dc36a35c91710019528e6bf201"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ClIln0zMMkDwrz8Vi/JE6IblaRbK+6aiRRE0JBvp5Mbjwtj47FM0PE3CMjr/Qsh+J0Dh3biNefgxTRjDr/NiBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-12T03:44:01.849940Z","bundle_sha256":"c40beeaaa7330d25a43ab15564c76b7da5b0da04da9a5dd21414e35ec441ed42"}}