{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:DBYXJSMO4BBKUYIQFKSC46BBE6","short_pith_number":"pith:DBYXJSMO","canonical_record":{"source":{"id":"2603.29868","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2026-01-28T17:44:59Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"ed7d7b2d245bd78555ae3236b66a0dd7ea64a1fbd806210108363423f707a83e","abstract_canon_sha256":"c9a4e79d862e87b3d2c48dca90e864c6a14f016fcc812c470f1f68c40425b02d"},"schema_version":"1.0"},"canonical_sha256":"187174c98ee042aa61102aa42e7821278d1e34b01a741ecb2ebf51608579060a","source":{"kind":"arxiv","id":"2603.29868","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2603.29868","created_at":"2026-05-20T00:05:44Z"},{"alias_kind":"arxiv_version","alias_value":"2603.29868v2","created_at":"2026-05-20T00:05:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2603.29868","created_at":"2026-05-20T00:05:44Z"},{"alias_kind":"pith_short_12","alias_value":"DBYXJSMO4BBK","created_at":"2026-05-20T00:05:44Z"},{"alias_kind":"pith_short_16","alias_value":"DBYXJSMO4BBKUYIQ","created_at":"2026-05-20T00:05:44Z"},{"alias_kind":"pith_short_8","alias_value":"DBYXJSMO","created_at":"2026-05-20T00:05:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:DBYXJSMO4BBKUYIQFKSC46BBE6","target":"record","payload":{"canonical_record":{"source":{"id":"2603.29868","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2026-01-28T17:44:59Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"ed7d7b2d245bd78555ae3236b66a0dd7ea64a1fbd806210108363423f707a83e","abstract_canon_sha256":"c9a4e79d862e87b3d2c48dca90e864c6a14f016fcc812c470f1f68c40425b02d"},"schema_version":"1.0"},"canonical_sha256":"187174c98ee042aa61102aa42e7821278d1e34b01a741ecb2ebf51608579060a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:05:44.029842Z","signature_b64":"Ulr12fS5ZvFolfPVR/3GP0XMDlt20zyi4nWmNMP0OoqpDCjICMtRwrVO7SHu8xcJ/fzuSOYVryaW7N9OOWjeAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"187174c98ee042aa61102aa42e7821278d1e34b01a741ecb2ebf51608579060a","last_reissued_at":"2026-05-20T00:05:44.029372Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:05:44.029372Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2603.29868","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-20T00:05:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wFDxrgeOVI74LsubTsbPcvJBYcUdfRVNuZU+u88y4emjSfD+A+YtyaO61ax+ANQSijQjPe7vvYLjkIWZFlbLAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T21:47:33.652269Z"},"content_sha256":"cca2c9ff4223c30ec8b73f45bce6e3e051a604993cebb0157668a7e349099a3c","schema_version":"1.0","event_id":"sha256:cca2c9ff4223c30ec8b73f45bce6e3e051a604993cebb0157668a7e349099a3c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:DBYXJSMO4BBKUYIQFKSC46BBE6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Lars Lindemann, Oliver Sch\\\"on","submitted_at":"2026-01-28T17:44:59Z","abstract_excerpt":"The reliability of autonomous systems depends on their robustness, i.e., their ability to meet their objectives under uncertainty. In this paper, we study spatiotemporal robustness of temporal logic specifications evaluated over discrete-time signals. Existing work has proposed robust semantics that capture not only Boolean satisfiability, but also the geometric distance from unsatisfiability, corresponding to admissible spatial perturbations of a given signal. In contrast, we propose spatiotemporal robustness (STR), which captures admissible spatial and temporal perturbations jointly. This no"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2603.29868","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/2603.29868/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-05-20T00:05:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6MdkM3fl2aMH6o9p6238OD4bqeCVJ8ioh4RimUxHLHaNCuuz2P6dACkfwh4Rez5jQtHTUfRfBoNphe2cypdTBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T21:47:33.652979Z"},"content_sha256":"2b27246993d0748eccafe81dcdf25187be00eed871f37e4103fd2a9ce3fd3bda","schema_version":"1.0","event_id":"sha256:2b27246993d0748eccafe81dcdf25187be00eed871f37e4103fd2a9ce3fd3bda"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DBYXJSMO4BBKUYIQFKSC46BBE6/bundle.json","state_url":"https://pith.science/pith/DBYXJSMO4BBKUYIQFKSC46BBE6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DBYXJSMO4BBKUYIQFKSC46BBE6/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-28T21:47:33Z","links":{"resolver":"https://pith.science/pith/DBYXJSMO4BBKUYIQFKSC46BBE6","bundle":"https://pith.science/pith/DBYXJSMO4BBKUYIQFKSC46BBE6/bundle.json","state":"https://pith.science/pith/DBYXJSMO4BBKUYIQFKSC46BBE6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DBYXJSMO4BBKUYIQFKSC46BBE6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:DBYXJSMO4BBKUYIQFKSC46BBE6","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":"c9a4e79d862e87b3d2c48dca90e864c6a14f016fcc812c470f1f68c40425b02d","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2026-01-28T17:44:59Z","title_canon_sha256":"ed7d7b2d245bd78555ae3236b66a0dd7ea64a1fbd806210108363423f707a83e"},"schema_version":"1.0","source":{"id":"2603.29868","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2603.29868","created_at":"2026-05-20T00:05:44Z"},{"alias_kind":"arxiv_version","alias_value":"2603.29868v2","created_at":"2026-05-20T00:05:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2603.29868","created_at":"2026-05-20T00:05:44Z"},{"alias_kind":"pith_short_12","alias_value":"DBYXJSMO4BBK","created_at":"2026-05-20T00:05:44Z"},{"alias_kind":"pith_short_16","alias_value":"DBYXJSMO4BBKUYIQ","created_at":"2026-05-20T00:05:44Z"},{"alias_kind":"pith_short_8","alias_value":"DBYXJSMO","created_at":"2026-05-20T00:05:44Z"}],"graph_snapshots":[{"event_id":"sha256:2b27246993d0748eccafe81dcdf25187be00eed871f37e4103fd2a9ce3fd3bda","target":"graph","created_at":"2026-05-20T00:05:44Z","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/2603.29868/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The reliability of autonomous systems depends on their robustness, i.e., their ability to meet their objectives under uncertainty. In this paper, we study spatiotemporal robustness of temporal logic specifications evaluated over discrete-time signals. Existing work has proposed robust semantics that capture not only Boolean satisfiability, but also the geometric distance from unsatisfiability, corresponding to admissible spatial perturbations of a given signal. In contrast, we propose spatiotemporal robustness (STR), which captures admissible spatial and temporal perturbations jointly. This no","authors_text":"Lars Lindemann, Oliver Sch\\\"on","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2026-01-28T17:44:59Z","title":"Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2603.29868","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:cca2c9ff4223c30ec8b73f45bce6e3e051a604993cebb0157668a7e349099a3c","target":"record","created_at":"2026-05-20T00:05:44Z","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":"c9a4e79d862e87b3d2c48dca90e864c6a14f016fcc812c470f1f68c40425b02d","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2026-01-28T17:44:59Z","title_canon_sha256":"ed7d7b2d245bd78555ae3236b66a0dd7ea64a1fbd806210108363423f707a83e"},"schema_version":"1.0","source":{"id":"2603.29868","kind":"arxiv","version":2}},"canonical_sha256":"187174c98ee042aa61102aa42e7821278d1e34b01a741ecb2ebf51608579060a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"187174c98ee042aa61102aa42e7821278d1e34b01a741ecb2ebf51608579060a","first_computed_at":"2026-05-20T00:05:44.029372Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:05:44.029372Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ulr12fS5ZvFolfPVR/3GP0XMDlt20zyi4nWmNMP0OoqpDCjICMtRwrVO7SHu8xcJ/fzuSOYVryaW7N9OOWjeAw==","signature_status":"signed_v1","signed_at":"2026-05-20T00:05:44.029842Z","signed_message":"canonical_sha256_bytes"},"source_id":"2603.29868","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cca2c9ff4223c30ec8b73f45bce6e3e051a604993cebb0157668a7e349099a3c","sha256:2b27246993d0748eccafe81dcdf25187be00eed871f37e4103fd2a9ce3fd3bda"],"state_sha256":"1fbb4f531df28f56feb4a28f5218b4622c9983365cc51b03b10ed3744b793419"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oEE477FUnwAvIcWITBO7kF9Y5xvi5rfgBL7//zF+wlItIEMoItN7zYBJ8zXXWndCoqMgTyXe59tw8zhn53n6CA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T21:47:33.656437Z","bundle_sha256":"eec51083f8d483aef9184b72c1325d618248939181b59cfab4972a370e9374e3"}}