{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:U4RM7WPHHTQFBT7WZUIG5MVURU","short_pith_number":"pith:U4RM7WPH","canonical_record":{"source":{"id":"1506.08234","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-06-26T23:19:28Z","cross_cats_sorted":[],"title_canon_sha256":"393ad2b5f00e952c50a0ed8b99b9d459ee92d38210bacc8ae63bda753916f76c","abstract_canon_sha256":"54bfdf14c33e8b8bb3f2dbc0d0bf0afce5e242b64463e323c98942ca2cb2fa77"},"schema_version":"1.0"},"canonical_sha256":"a722cfd9e73ce050cff6cd106eb2b48d03a657e5ac5047aa1319e0c7a67be4f7","source":{"kind":"arxiv","id":"1506.08234","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.08234","created_at":"2026-05-18T01:37:46Z"},{"alias_kind":"arxiv_version","alias_value":"1506.08234v1","created_at":"2026-05-18T01:37:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.08234","created_at":"2026-05-18T01:37:46Z"},{"alias_kind":"pith_short_12","alias_value":"U4RM7WPHHTQF","created_at":"2026-05-18T12:29:44Z"},{"alias_kind":"pith_short_16","alias_value":"U4RM7WPHHTQFBT7W","created_at":"2026-05-18T12:29:44Z"},{"alias_kind":"pith_short_8","alias_value":"U4RM7WPH","created_at":"2026-05-18T12:29:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:U4RM7WPHHTQFBT7WZUIG5MVURU","target":"record","payload":{"canonical_record":{"source":{"id":"1506.08234","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-06-26T23:19:28Z","cross_cats_sorted":[],"title_canon_sha256":"393ad2b5f00e952c50a0ed8b99b9d459ee92d38210bacc8ae63bda753916f76c","abstract_canon_sha256":"54bfdf14c33e8b8bb3f2dbc0d0bf0afce5e242b64463e323c98942ca2cb2fa77"},"schema_version":"1.0"},"canonical_sha256":"a722cfd9e73ce050cff6cd106eb2b48d03a657e5ac5047aa1319e0c7a67be4f7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:46.981291Z","signature_b64":"zEe3HTG8DC5CYk9Tr7kGJgQojYjmxWamRHGUUFSIWUOljuf2U08PoBMYKeK9A1mtOxuj1X7YH3mSBskpKUa+CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a722cfd9e73ce050cff6cd106eb2b48d03a657e5ac5047aa1319e0c7a67be4f7","last_reissued_at":"2026-05-18T01:37:46.980927Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:46.980927Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1506.08234","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-05-18T01:37:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kzhgJjyFFNKdnWPsqiluFi9njCXUDyFSh79/IoFBndjjg8YJyJWvfq+l11l72rQSQBfX/hwTbJQvBhY/SHIrCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T09:24:33.448535Z"},"content_sha256":"a3d75d05a66063a458454a86ecd885b97837c30245b679433560de18892602a2","schema_version":"1.0","event_id":"sha256:a3d75d05a66063a458454a86ecd885b97837c30245b679433560de18892602a2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:U4RM7WPHHTQFBT7WZUIG5MVURU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Robust Online Monitoring of Signal Temporal Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Alexandre Donz\\'e, Garvit Juniwal, Jyotirmoy V. Deshmukh, Sanjit A. Seshia, Shromona Ghosh, Xiaoqing Jin","submitted_at":"2015-06-26T23:19:28Z","abstract_excerpt":"Signal Temporal Logic (STL) is a formalism used to rigorously specify requirements of cyberphysical systems (CPS), i.e., systems mixing digital or discrete components in interaction with a continuous environment or analog com- ponents. STL is naturally equipped with a quantitative semantics which can be used for various purposes: from assessing the robustness of a specification to guiding searches over the input and parameter space with the goal of falsifying the given property over system behaviors. Algorithms have been proposed and implemented for offline computation of such quantitative sem"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.08234","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":""},"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:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iJdvxucfIncGsxZrf9JLxEryyqBeJkVy5KZwd1ZO3iIjsXds9RJWK7Av+mWrs65gOpfSMcVHRg8Cm0isazFIDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T09:24:33.449161Z"},"content_sha256":"c4a01f2d2f21a7b5b4480638d949dfb3e622f0d968687e2dd4a864957d083bfc","schema_version":"1.0","event_id":"sha256:c4a01f2d2f21a7b5b4480638d949dfb3e622f0d968687e2dd4a864957d083bfc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/U4RM7WPHHTQFBT7WZUIG5MVURU/bundle.json","state_url":"https://pith.science/pith/U4RM7WPHHTQFBT7WZUIG5MVURU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/U4RM7WPHHTQFBT7WZUIG5MVURU/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-27T09:24:33Z","links":{"resolver":"https://pith.science/pith/U4RM7WPHHTQFBT7WZUIG5MVURU","bundle":"https://pith.science/pith/U4RM7WPHHTQFBT7WZUIG5MVURU/bundle.json","state":"https://pith.science/pith/U4RM7WPHHTQFBT7WZUIG5MVURU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/U4RM7WPHHTQFBT7WZUIG5MVURU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:U4RM7WPHHTQFBT7WZUIG5MVURU","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":"54bfdf14c33e8b8bb3f2dbc0d0bf0afce5e242b64463e323c98942ca2cb2fa77","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-06-26T23:19:28Z","title_canon_sha256":"393ad2b5f00e952c50a0ed8b99b9d459ee92d38210bacc8ae63bda753916f76c"},"schema_version":"1.0","source":{"id":"1506.08234","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.08234","created_at":"2026-05-18T01:37:46Z"},{"alias_kind":"arxiv_version","alias_value":"1506.08234v1","created_at":"2026-05-18T01:37:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.08234","created_at":"2026-05-18T01:37:46Z"},{"alias_kind":"pith_short_12","alias_value":"U4RM7WPHHTQF","created_at":"2026-05-18T12:29:44Z"},{"alias_kind":"pith_short_16","alias_value":"U4RM7WPHHTQFBT7W","created_at":"2026-05-18T12:29:44Z"},{"alias_kind":"pith_short_8","alias_value":"U4RM7WPH","created_at":"2026-05-18T12:29:44Z"}],"graph_snapshots":[{"event_id":"sha256:c4a01f2d2f21a7b5b4480638d949dfb3e622f0d968687e2dd4a864957d083bfc","target":"graph","created_at":"2026-05-18T01:37: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":"Signal Temporal Logic (STL) is a formalism used to rigorously specify requirements of cyberphysical systems (CPS), i.e., systems mixing digital or discrete components in interaction with a continuous environment or analog com- ponents. STL is naturally equipped with a quantitative semantics which can be used for various purposes: from assessing the robustness of a specification to guiding searches over the input and parameter space with the goal of falsifying the given property over system behaviors. Algorithms have been proposed and implemented for offline computation of such quantitative sem","authors_text":"Alexandre Donz\\'e, Garvit Juniwal, Jyotirmoy V. Deshmukh, Sanjit A. Seshia, Shromona Ghosh, Xiaoqing Jin","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-06-26T23:19:28Z","title":"Robust Online Monitoring of Signal Temporal Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.08234","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:a3d75d05a66063a458454a86ecd885b97837c30245b679433560de18892602a2","target":"record","created_at":"2026-05-18T01:37: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":"54bfdf14c33e8b8bb3f2dbc0d0bf0afce5e242b64463e323c98942ca2cb2fa77","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-06-26T23:19:28Z","title_canon_sha256":"393ad2b5f00e952c50a0ed8b99b9d459ee92d38210bacc8ae63bda753916f76c"},"schema_version":"1.0","source":{"id":"1506.08234","kind":"arxiv","version":1}},"canonical_sha256":"a722cfd9e73ce050cff6cd106eb2b48d03a657e5ac5047aa1319e0c7a67be4f7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a722cfd9e73ce050cff6cd106eb2b48d03a657e5ac5047aa1319e0c7a67be4f7","first_computed_at":"2026-05-18T01:37:46.980927Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:46.980927Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zEe3HTG8DC5CYk9Tr7kGJgQojYjmxWamRHGUUFSIWUOljuf2U08PoBMYKeK9A1mtOxuj1X7YH3mSBskpKUa+CQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:46.981291Z","signed_message":"canonical_sha256_bytes"},"source_id":"1506.08234","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a3d75d05a66063a458454a86ecd885b97837c30245b679433560de18892602a2","sha256:c4a01f2d2f21a7b5b4480638d949dfb3e622f0d968687e2dd4a864957d083bfc"],"state_sha256":"edd875a9734ac8583fd8f6a784157f162d792788c6354900195ee7e9a8f7ae80"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VIX2bg8Z7O9ylGhF6bhVtM1trHnMFuGhkQA0kawKaLnNG43Txa3+HHvtW/L5+7y4mJ1m6hww+kONlPi6NZ3mDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T09:24:33.451802Z","bundle_sha256":"be2066ac90a3571c8f7c592a4eabf309226ecd51f0feaf1bf1999a1351b255c5"}}