{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:EGJ7PLODCRKGHL3NUEAO7Y3YSH","short_pith_number":"pith:EGJ7PLOD","canonical_record":{"source":{"id":"2105.11545","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-05-24T21:26:57Z","cross_cats_sorted":[],"title_canon_sha256":"dea7bcea2209499b58ba1d784801207ebd8a9fe5a16b172eb8e8e3c2ca48d5b0","abstract_canon_sha256":"7fa5b5baaacd31b2ec8e73b25e56af20140a958d6bdafe142bc97fdf0628f126"},"schema_version":"1.0"},"canonical_sha256":"2193f7adc3145463af6da100efe37891f7f5000bf6184a4e953f5cd941dac56b","source":{"kind":"arxiv","id":"2105.11545","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2105.11545","created_at":"2026-07-05T02:44:38Z"},{"alias_kind":"arxiv_version","alias_value":"2105.11545v2","created_at":"2026-07-05T02:44:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2105.11545","created_at":"2026-07-05T02:44:38Z"},{"alias_kind":"pith_short_12","alias_value":"EGJ7PLODCRKG","created_at":"2026-07-05T02:44:38Z"},{"alias_kind":"pith_short_16","alias_value":"EGJ7PLODCRKGHL3N","created_at":"2026-07-05T02:44:38Z"},{"alias_kind":"pith_short_8","alias_value":"EGJ7PLOD","created_at":"2026-07-05T02:44:38Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:EGJ7PLODCRKGHL3NUEAO7Y3YSH","target":"record","payload":{"canonical_record":{"source":{"id":"2105.11545","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-05-24T21:26:57Z","cross_cats_sorted":[],"title_canon_sha256":"dea7bcea2209499b58ba1d784801207ebd8a9fe5a16b172eb8e8e3c2ca48d5b0","abstract_canon_sha256":"7fa5b5baaacd31b2ec8e73b25e56af20140a958d6bdafe142bc97fdf0628f126"},"schema_version":"1.0"},"canonical_sha256":"2193f7adc3145463af6da100efe37891f7f5000bf6184a4e953f5cd941dac56b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:44:38.047557Z","signature_b64":"37EmRWfyR6wX9c7NiygFSQMCICpqS4fjD6G/obcz6gKuqeiuNoeFx+hhZXTp0A+M2h37IomcEQAg6i81nPKsBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2193f7adc3145463af6da100efe37891f7f5000bf6184a4e953f5cd941dac56b","last_reissued_at":"2026-07-05T02:44:38.047140Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:44:38.047140Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2105.11545","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-07-05T02:44:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WFsFI+CXWB+2lT4s8RvAlDLsS2x1yTx2ZIe5dEPZBuoEoCGtpM7JYR7PR6bwCa0ZncqK61hqTgHXCjQNo3fcCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T03:00:07.234268Z"},"content_sha256":"b636248ff570d35453a63a3856e1aa8590ba91c87a2db68f6c5180048fbbbee1","schema_version":"1.0","event_id":"sha256:b636248ff570d35453a63a3856e1aa8590ba91c87a2db68f6c5180048fbbbee1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:EGJ7PLODCRKGHL3NUEAO7Y3YSH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Uncertainty-Aware Signal Temporal Logic Inference","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Daniel Neider, Jean-Rapha\\\"el Gaglione, Nasim Baharisangari, Ufuk Topcu, Zhe Xu","submitted_at":"2021-05-24T21:26:57Z","abstract_excerpt":"Temporal logic inference is the process of extracting formal descriptions of system behaviors from data in the form of temporal logic formulas. The existing temporal logic inference methods mostly neglect uncertainties in the data, which results in limited applicability of such methods in real-world deployments. In this paper, we first investigate the uncertainties associated with trajectories of a system and represent such uncertainties in the form of interval trajectories. We then propose two uncertainty-aware signal temporal logic (STL) inference approaches to classify the undesired behavio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2105.11545","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2105.11545/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T02:44:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/ZZp9honWlMnlr/lUNy8u6fOLfwTNlrcsF7HnBNuscdM72BnE++2yNstp6ZsSJBD3HNxDE8heeRK4HCvrWDoAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T03:00:07.234848Z"},"content_sha256":"5853a2148e47a70ba3e22c7dbed3c6c3f46286eb989c4c8619ab6f3bc4bf1e1c","schema_version":"1.0","event_id":"sha256:5853a2148e47a70ba3e22c7dbed3c6c3f46286eb989c4c8619ab6f3bc4bf1e1c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EGJ7PLODCRKGHL3NUEAO7Y3YSH/bundle.json","state_url":"https://pith.science/pith/EGJ7PLODCRKGHL3NUEAO7Y3YSH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EGJ7PLODCRKGHL3NUEAO7Y3YSH/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-08-21T03:00:07Z","links":{"resolver":"https://pith.science/pith/EGJ7PLODCRKGHL3NUEAO7Y3YSH","bundle":"https://pith.science/pith/EGJ7PLODCRKGHL3NUEAO7Y3YSH/bundle.json","state":"https://pith.science/pith/EGJ7PLODCRKGHL3NUEAO7Y3YSH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EGJ7PLODCRKGHL3NUEAO7Y3YSH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:EGJ7PLODCRKGHL3NUEAO7Y3YSH","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":"7fa5b5baaacd31b2ec8e73b25e56af20140a958d6bdafe142bc97fdf0628f126","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-05-24T21:26:57Z","title_canon_sha256":"dea7bcea2209499b58ba1d784801207ebd8a9fe5a16b172eb8e8e3c2ca48d5b0"},"schema_version":"1.0","source":{"id":"2105.11545","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2105.11545","created_at":"2026-07-05T02:44:38Z"},{"alias_kind":"arxiv_version","alias_value":"2105.11545v2","created_at":"2026-07-05T02:44:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2105.11545","created_at":"2026-07-05T02:44:38Z"},{"alias_kind":"pith_short_12","alias_value":"EGJ7PLODCRKG","created_at":"2026-07-05T02:44:38Z"},{"alias_kind":"pith_short_16","alias_value":"EGJ7PLODCRKGHL3N","created_at":"2026-07-05T02:44:38Z"},{"alias_kind":"pith_short_8","alias_value":"EGJ7PLOD","created_at":"2026-07-05T02:44:38Z"}],"graph_snapshots":[{"event_id":"sha256:5853a2148e47a70ba3e22c7dbed3c6c3f46286eb989c4c8619ab6f3bc4bf1e1c","target":"graph","created_at":"2026-07-05T02:44:38Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2105.11545/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Temporal logic inference is the process of extracting formal descriptions of system behaviors from data in the form of temporal logic formulas. The existing temporal logic inference methods mostly neglect uncertainties in the data, which results in limited applicability of such methods in real-world deployments. In this paper, we first investigate the uncertainties associated with trajectories of a system and represent such uncertainties in the form of interval trajectories. We then propose two uncertainty-aware signal temporal logic (STL) inference approaches to classify the undesired behavio","authors_text":"Daniel Neider, Jean-Rapha\\\"el Gaglione, Nasim Baharisangari, Ufuk Topcu, Zhe Xu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-05-24T21:26:57Z","title":"Uncertainty-Aware Signal Temporal Logic Inference"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2105.11545","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:b636248ff570d35453a63a3856e1aa8590ba91c87a2db68f6c5180048fbbbee1","target":"record","created_at":"2026-07-05T02:44:38Z","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":"7fa5b5baaacd31b2ec8e73b25e56af20140a958d6bdafe142bc97fdf0628f126","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-05-24T21:26:57Z","title_canon_sha256":"dea7bcea2209499b58ba1d784801207ebd8a9fe5a16b172eb8e8e3c2ca48d5b0"},"schema_version":"1.0","source":{"id":"2105.11545","kind":"arxiv","version":2}},"canonical_sha256":"2193f7adc3145463af6da100efe37891f7f5000bf6184a4e953f5cd941dac56b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2193f7adc3145463af6da100efe37891f7f5000bf6184a4e953f5cd941dac56b","first_computed_at":"2026-07-05T02:44:38.047140Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:44:38.047140Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"37EmRWfyR6wX9c7NiygFSQMCICpqS4fjD6G/obcz6gKuqeiuNoeFx+hhZXTp0A+M2h37IomcEQAg6i81nPKsBg==","signature_status":"signed_v1","signed_at":"2026-07-05T02:44:38.047557Z","signed_message":"canonical_sha256_bytes"},"source_id":"2105.11545","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b636248ff570d35453a63a3856e1aa8590ba91c87a2db68f6c5180048fbbbee1","sha256:5853a2148e47a70ba3e22c7dbed3c6c3f46286eb989c4c8619ab6f3bc4bf1e1c"],"state_sha256":"0af7e904912da273a1c630b79988bda1cd41220c87691aaeeb7329826569695e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2UMyoGoIxgx3Yw9wEEk5ldOcQT6haiEfrNXMS50p8kIWEYJczwFqsW8UGLPxxabi6HWQ/2p8XE/c5q4KQt9BBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-21T03:00:07.293386Z","bundle_sha256":"ea875657ced0a9cc569ce59632417b71a9cad33e23dde12d823ee58cb7bc9cbf"}}