{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:ANJ2W7X4J3VNIV3VCTXW3GEOLK","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":"0498370353a810836eb21722b05efdcc727fa6774d30284a3a982e6f2e0ced81","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-12-21T04:28:16Z","title_canon_sha256":"53364c0fd85a40d8768c9b2f14daf3389574b2ff0a869aa453dd9c0c427dcc07"},"schema_version":"1.0","source":{"id":"1812.08940","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.08940","created_at":"2026-05-17T23:49:22Z"},{"alias_kind":"arxiv_version","alias_value":"1812.08940v1","created_at":"2026-05-17T23:49:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.08940","created_at":"2026-05-17T23:49:22Z"},{"alias_kind":"pith_short_12","alias_value":"ANJ2W7X4J3VN","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_16","alias_value":"ANJ2W7X4J3VNIV3V","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_8","alias_value":"ANJ2W7X4","created_at":"2026-05-18T12:32:13Z"}],"graph_snapshots":[{"event_id":"sha256:6f9bdf670c297bf3c3f37caf47fa52d38d399399fb1ea36bb178d94525b1ad9d","target":"graph","created_at":"2026-05-17T23:49:22Z","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":"Given a log and a specification, timed pattern matching aims at exhibiting for which start and end dates a specification holds on that log. For example, \"a given action is always followed by another action before a given deadline\". This problem has strong connections with monitoring real-time systems. We address here timed pattern matching in presence of an uncertain specification, i.e., that may contain timing parameters (e.g., the deadline can be uncertain or unknown). That is, we want to know for which start and end dates, and for what values of the deadline, this property holds. Or what is","authors_text":"\\'Etienne Andr\\'e, Ichiro Hasuo, Masaki Waga","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-12-21T04:28:16Z","title":"Offline timed pattern matching under uncertainty"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.08940","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:49780e638a005b9fe96e3602762684716e2ceb6494352dd1705ffd87e17dc95a","target":"record","created_at":"2026-05-17T23:49:22Z","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":"0498370353a810836eb21722b05efdcc727fa6774d30284a3a982e6f2e0ced81","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-12-21T04:28:16Z","title_canon_sha256":"53364c0fd85a40d8768c9b2f14daf3389574b2ff0a869aa453dd9c0c427dcc07"},"schema_version":"1.0","source":{"id":"1812.08940","kind":"arxiv","version":1}},"canonical_sha256":"0353ab7efc4eead4577514ef6d988e5a9549af4fc2414b8bb06561217d41e818","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0353ab7efc4eead4577514ef6d988e5a9549af4fc2414b8bb06561217d41e818","first_computed_at":"2026-05-17T23:49:22.011996Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:49:22.011996Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ujgd1JYgRX9MctNSrw8ybHVdLUX4IJTtmg7xrAHlCXIVdsuoSpQoWm82uFIT182eMUlSLmNmSyRPoNEosfd1Aw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:49:22.012469Z","signed_message":"canonical_sha256_bytes"},"source_id":"1812.08940","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:49780e638a005b9fe96e3602762684716e2ceb6494352dd1705ffd87e17dc95a","sha256:6f9bdf670c297bf3c3f37caf47fa52d38d399399fb1ea36bb178d94525b1ad9d"],"state_sha256":"7e6aa22ed7b0b9c4bae67dcd7689a8e1f1f068628d4abc48d1237b363653a389"}