{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:YQGPROG573N74KYCCKQ344CW67","short_pith_number":"pith:YQGPROG5","canonical_record":{"source":{"id":"2606.21438","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-06-19T13:59:12Z","cross_cats_sorted":[],"title_canon_sha256":"2258a74c1689b2a08fb23f869093ea5d869a8e2c03fd58c88772e6d839ce48be","abstract_canon_sha256":"3600fa30683edaefa527d9a0a1df5544241376d7468a8ec07e99dfe5957864fd"},"schema_version":"1.0"},"canonical_sha256":"c40cf8b8ddfedbfe2b0212a1be7056f7fe3f85221a2a594ffeb7e18455c5ace3","source":{"kind":"arxiv","id":"2606.21438","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.21438","created_at":"2026-06-23T01:13:10Z"},{"alias_kind":"arxiv_version","alias_value":"2606.21438v1","created_at":"2026-06-23T01:13:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.21438","created_at":"2026-06-23T01:13:10Z"},{"alias_kind":"pith_short_12","alias_value":"YQGPROG573N7","created_at":"2026-06-23T01:13:10Z"},{"alias_kind":"pith_short_16","alias_value":"YQGPROG573N74KYC","created_at":"2026-06-23T01:13:10Z"},{"alias_kind":"pith_short_8","alias_value":"YQGPROG5","created_at":"2026-06-23T01:13:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:YQGPROG573N74KYCCKQ344CW67","target":"record","payload":{"canonical_record":{"source":{"id":"2606.21438","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-06-19T13:59:12Z","cross_cats_sorted":[],"title_canon_sha256":"2258a74c1689b2a08fb23f869093ea5d869a8e2c03fd58c88772e6d839ce48be","abstract_canon_sha256":"3600fa30683edaefa527d9a0a1df5544241376d7468a8ec07e99dfe5957864fd"},"schema_version":"1.0"},"canonical_sha256":"c40cf8b8ddfedbfe2b0212a1be7056f7fe3f85221a2a594ffeb7e18455c5ace3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-23T01:13:10.302199Z","signature_b64":"jd3sQt6s9QjbptwlA89JP9yJB1nfXTpN+uObxGB4kRWhsbPoADWxcU7eEvBwuqbpByFCatp37QA3F2zTBm1uDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c40cf8b8ddfedbfe2b0212a1be7056f7fe3f85221a2a594ffeb7e18455c5ace3","last_reissued_at":"2026-06-23T01:13:10.301684Z","signature_status":"signed_v1","first_computed_at":"2026-06-23T01:13:10.301684Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.21438","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-06-23T01:13:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gfvDkRuTbgA53KVVmm9PtRSyC4BKFP+6Yj/zR023rnhKA2I+70DmlQIaEuyAHW7ZEg1JVS31+9+lOHjqeqtwAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T12:42:41.174784Z"},"content_sha256":"685fca9e481ab03f0a9ea9d8b58fc85af40f50fd467cbeecb06c119c3dd7bef1","schema_version":"1.0","event_id":"sha256:685fca9e481ab03f0a9ea9d8b58fc85af40f50fd467cbeecb06c119c3dd7bef1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:YQGPROG573N74KYCCKQ344CW67","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Temporal logics and formal synthesis for robot planning and control","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Jana Tumova, Joris Verhagen, Matti Vahs","submitted_at":"2026-06-19T13:59:12Z","abstract_excerpt":"As robots move from controlled environments into real-world settings, it becomes increasingly crucial to ensure that they perform as expected. A key step toward that goal is a rigorous specification of the desired robot behavior, capturing intricate temporal, spatial, and logical requirements. Complementing this, plan and control synthesis methods are needed to fulfill these specifications with provable guarantees. This manuscript presents temporal logics - particularly linear and signal temporal logic - as expressive specification languages for robot behavior over time. We then discuss princi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.21438","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.21438/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-06-23T01:13:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JZteb5BwDs6OJ7oSHW3GNtRkWn2gRoyyTOw+cCmCuTIp00HSM/J3EyBEju3NFf2sFw8CkktxA/ePKYt8e+M6Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T12:42:41.175162Z"},"content_sha256":"445c739ac363e23083f8a5143a0617647dac2212373ecae6df4bcb0370b6fd9c","schema_version":"1.0","event_id":"sha256:445c739ac363e23083f8a5143a0617647dac2212373ecae6df4bcb0370b6fd9c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YQGPROG573N74KYCCKQ344CW67/bundle.json","state_url":"https://pith.science/pith/YQGPROG573N74KYCCKQ344CW67/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YQGPROG573N74KYCCKQ344CW67/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-06-30T12:42:41Z","links":{"resolver":"https://pith.science/pith/YQGPROG573N74KYCCKQ344CW67","bundle":"https://pith.science/pith/YQGPROG573N74KYCCKQ344CW67/bundle.json","state":"https://pith.science/pith/YQGPROG573N74KYCCKQ344CW67/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YQGPROG573N74KYCCKQ344CW67/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:YQGPROG573N74KYCCKQ344CW67","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":"3600fa30683edaefa527d9a0a1df5544241376d7468a8ec07e99dfe5957864fd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-06-19T13:59:12Z","title_canon_sha256":"2258a74c1689b2a08fb23f869093ea5d869a8e2c03fd58c88772e6d839ce48be"},"schema_version":"1.0","source":{"id":"2606.21438","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.21438","created_at":"2026-06-23T01:13:10Z"},{"alias_kind":"arxiv_version","alias_value":"2606.21438v1","created_at":"2026-06-23T01:13:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.21438","created_at":"2026-06-23T01:13:10Z"},{"alias_kind":"pith_short_12","alias_value":"YQGPROG573N7","created_at":"2026-06-23T01:13:10Z"},{"alias_kind":"pith_short_16","alias_value":"YQGPROG573N74KYC","created_at":"2026-06-23T01:13:10Z"},{"alias_kind":"pith_short_8","alias_value":"YQGPROG5","created_at":"2026-06-23T01:13:10Z"}],"graph_snapshots":[{"event_id":"sha256:445c739ac363e23083f8a5143a0617647dac2212373ecae6df4bcb0370b6fd9c","target":"graph","created_at":"2026-06-23T01:13:10Z","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/2606.21438/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"As robots move from controlled environments into real-world settings, it becomes increasingly crucial to ensure that they perform as expected. A key step toward that goal is a rigorous specification of the desired robot behavior, capturing intricate temporal, spatial, and logical requirements. Complementing this, plan and control synthesis methods are needed to fulfill these specifications with provable guarantees. This manuscript presents temporal logics - particularly linear and signal temporal logic - as expressive specification languages for robot behavior over time. We then discuss princi","authors_text":"Jana Tumova, Joris Verhagen, Matti Vahs","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-06-19T13:59:12Z","title":"Temporal logics and formal synthesis for robot planning and control"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.21438","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:685fca9e481ab03f0a9ea9d8b58fc85af40f50fd467cbeecb06c119c3dd7bef1","target":"record","created_at":"2026-06-23T01:13:10Z","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":"3600fa30683edaefa527d9a0a1df5544241376d7468a8ec07e99dfe5957864fd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-06-19T13:59:12Z","title_canon_sha256":"2258a74c1689b2a08fb23f869093ea5d869a8e2c03fd58c88772e6d839ce48be"},"schema_version":"1.0","source":{"id":"2606.21438","kind":"arxiv","version":1}},"canonical_sha256":"c40cf8b8ddfedbfe2b0212a1be7056f7fe3f85221a2a594ffeb7e18455c5ace3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c40cf8b8ddfedbfe2b0212a1be7056f7fe3f85221a2a594ffeb7e18455c5ace3","first_computed_at":"2026-06-23T01:13:10.301684Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-23T01:13:10.301684Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jd3sQt6s9QjbptwlA89JP9yJB1nfXTpN+uObxGB4kRWhsbPoADWxcU7eEvBwuqbpByFCatp37QA3F2zTBm1uDA==","signature_status":"signed_v1","signed_at":"2026-06-23T01:13:10.302199Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.21438","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:685fca9e481ab03f0a9ea9d8b58fc85af40f50fd467cbeecb06c119c3dd7bef1","sha256:445c739ac363e23083f8a5143a0617647dac2212373ecae6df4bcb0370b6fd9c"],"state_sha256":"df7873f21c3677ede402e8a4ae1f0db093526dab86bbba04fc051548bff58eed"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tWfdbyUX1JNAqTH3MZl7GFLLLFFPw64cAWMZCPLBBV/iWxdGHFFZAfAUkWYuab5UEUHQYTxAcNUzXORRn2tsBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-30T12:42:41.177345Z","bundle_sha256":"2be3803c665ea7f5306320c3e8d64652a23c7a3283fdc4df1da72a9c0e7512f0"}}