{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:Y3DHEV7NDTLIVJ64WFP3MY7JZ7","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":"f6cd6b0549a86060bc96d018f20dffc9a66db05a4e10028b5e5d1f6410293e35","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-08-01T07:27:30Z","title_canon_sha256":"7dd576716b3e9fab0e4c35a27d784117089e94464751fda46b514b7ce0a61742"},"schema_version":"1.0","source":{"id":"1808.03315","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.03315","created_at":"2026-05-18T00:08:27Z"},{"alias_kind":"arxiv_version","alias_value":"1808.03315v1","created_at":"2026-05-18T00:08:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.03315","created_at":"2026-05-18T00:08:27Z"},{"alias_kind":"pith_short_12","alias_value":"Y3DHEV7NDTLI","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"Y3DHEV7NDTLIVJ64","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"Y3DHEV7N","created_at":"2026-05-18T12:33:04Z"}],"graph_snapshots":[{"event_id":"sha256:653f7c0b0a4261588ac3b1b0eabad0c14b89190592d049a508f538550ad34a13","target":"graph","created_at":"2026-05-18T00:08:27Z","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":"Signal Temporal Logic (STL) is a formal language for describing a broad range of real-valued, temporal properties in cyber-physical systems. While there has been extensive research on verification and control synthesis from STL requirements, there is no formal framework for comparing two STL formulae. In this paper, we show that under mild assumptions, STL formulae admit a metric space. We propose two metrics over this space based on i) the Pompeiu-Hausdorff distance and ii) the symmetric difference measure, and present algorithms to compute them. Alongside illustrative examples, we present ap","authors_text":"Calin Belta, Cristian-Ioan Vasile, Curtis Madsen, Douglas Densmore, Nicholas A. DeLateur, Prashant Vaidyanathan, Ron Weiss, Sadra Sadraddini","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-08-01T07:27:30Z","title":"Metrics for Signal Temporal Logic Formulae"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.03315","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:9047e720bf3b7b74bba38cace71c4784dc98f6b8e90fc4243411a39c74321ac6","target":"record","created_at":"2026-05-18T00:08:27Z","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":"f6cd6b0549a86060bc96d018f20dffc9a66db05a4e10028b5e5d1f6410293e35","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-08-01T07:27:30Z","title_canon_sha256":"7dd576716b3e9fab0e4c35a27d784117089e94464751fda46b514b7ce0a61742"},"schema_version":"1.0","source":{"id":"1808.03315","kind":"arxiv","version":1}},"canonical_sha256":"c6c67257ed1cd68aa7dcb15fb663e9cfe05b5715022943c813f7ce5eec9cfefc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c6c67257ed1cd68aa7dcb15fb663e9cfe05b5715022943c813f7ce5eec9cfefc","first_computed_at":"2026-05-18T00:08:27.659868Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:08:27.659868Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5TG8o67p2Z2kOHf10wA6IArwrjPEcOQhjMi2XwJureqef5pGOvR+4znlT5O464VgiES9hzPEafhRA+nWeneyBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:08:27.660969Z","signed_message":"canonical_sha256_bytes"},"source_id":"1808.03315","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9047e720bf3b7b74bba38cace71c4784dc98f6b8e90fc4243411a39c74321ac6","sha256:653f7c0b0a4261588ac3b1b0eabad0c14b89190592d049a508f538550ad34a13"],"state_sha256":"b1b1e319c27abc99c6ab4c34e59e5fdc41b281397036f09dc588e1705338d1d4"}