{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:YQGPROG573N74KYCCKQ344CW67","short_pith_number":"pith:YQGPROG5","schema_version":"1.0","canonical_sha256":"c40cf8b8ddfedbfe2b0212a1be7056f7fe3f85221a2a594ffeb7e18455c5ace3","source":{"kind":"arxiv","id":"2606.21438","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2606.21438","created_at":"2026-06-23T01:13:10.301756+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.21438v1","created_at":"2026-06-23T01:13:10.301756+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.21438","created_at":"2026-06-23T01:13:10.301756+00:00"},{"alias_kind":"pith_short_12","alias_value":"YQGPROG573N7","created_at":"2026-06-23T01:13:10.301756+00:00"},{"alias_kind":"pith_short_16","alias_value":"YQGPROG573N74KYC","created_at":"2026-06-23T01:13:10.301756+00:00"},{"alias_kind":"pith_short_8","alias_value":"YQGPROG5","created_at":"2026-06-23T01:13:10.301756+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/YQGPROG573N74KYCCKQ344CW67","json":"https://pith.science/pith/YQGPROG573N74KYCCKQ344CW67.json","graph_json":"https://pith.science/api/pith-number/YQGPROG573N74KYCCKQ344CW67/graph.json","events_json":"https://pith.science/api/pith-number/YQGPROG573N74KYCCKQ344CW67/events.json","paper":"https://pith.science/paper/YQGPROG5"},"agent_actions":{"view_html":"https://pith.science/pith/YQGPROG573N74KYCCKQ344CW67","download_json":"https://pith.science/pith/YQGPROG573N74KYCCKQ344CW67.json","view_paper":"https://pith.science/paper/YQGPROG5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.21438&json=true","fetch_graph":"https://pith.science/api/pith-number/YQGPROG573N74KYCCKQ344CW67/graph.json","fetch_events":"https://pith.science/api/pith-number/YQGPROG573N74KYCCKQ344CW67/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YQGPROG573N74KYCCKQ344CW67/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YQGPROG573N74KYCCKQ344CW67/action/storage_attestation","attest_author":"https://pith.science/pith/YQGPROG573N74KYCCKQ344CW67/action/author_attestation","sign_citation":"https://pith.science/pith/YQGPROG573N74KYCCKQ344CW67/action/citation_signature","submit_replication":"https://pith.science/pith/YQGPROG573N74KYCCKQ344CW67/action/replication_record"}},"created_at":"2026-06-23T01:13:10.301756+00:00","updated_at":"2026-06-23T01:13:10.301756+00:00"}