{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:SA4MIZLEK5YMPIJLBZJDALYCMW","short_pith_number":"pith:SA4MIZLE","schema_version":"1.0","canonical_sha256":"9038c465645770c7a12b0e52302f026594976454b080ce9c97ddcd87a7fd3188","source":{"kind":"arxiv","id":"1510.06469","version":1},"attestation_state":"computed","paper":{"title":"Optimal Temporal Logic Planning in Probabilistic Semantic Maps","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"cs.RO","authors_text":"George J. Pappas, Jie Fu, Nikolay Atanasov, Ufuk Topcu","submitted_at":"2015-10-22T01:26:27Z","abstract_excerpt":"This paper considers robot motion planning under temporal logic constraints in probabilistic maps obtained by semantic simultaneous localization and mapping (SLAM). The uncertainty in a map distribution presents a great challenge for obtaining correctness guarantees with respect to the linear temporal logic (LTL) specification. We show that the problem can be formulated as an optimal control problem in which both the semantic map and the logic formula evaluation are stochastic. Our first contribution is to reduce the stochastic control problem for a subclass of LTL to a deterministic shortest "},"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":"1510.06469","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2015-10-22T01:26:27Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"ced36c92a6cb4cdb3810e3d0fd63cbb458a84b981939057dd562118bf3409bdd","abstract_canon_sha256":"8543fe0614af7c83623fe8a987358c4d5f7b2940b0a4d175ab0d6bcf0c5989ae"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:58:10.226577Z","signature_b64":"0SkQbxi8M8miMQsb2OnAnMI26/YeeW/cPDiRucehV8rFaAHeWZd9FiAgqP2f1SVI948O1ZwoGJgtSK/UvAe7AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9038c465645770c7a12b0e52302f026594976454b080ce9c97ddcd87a7fd3188","last_reissued_at":"2026-05-18T00:58:10.225920Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:58:10.225920Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Optimal Temporal Logic Planning in Probabilistic Semantic Maps","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"cs.RO","authors_text":"George J. Pappas, Jie Fu, Nikolay Atanasov, Ufuk Topcu","submitted_at":"2015-10-22T01:26:27Z","abstract_excerpt":"This paper considers robot motion planning under temporal logic constraints in probabilistic maps obtained by semantic simultaneous localization and mapping (SLAM). The uncertainty in a map distribution presents a great challenge for obtaining correctness guarantees with respect to the linear temporal logic (LTL) specification. We show that the problem can be formulated as an optimal control problem in which both the semantic map and the logic formula evaluation are stochastic. Our first contribution is to reduce the stochastic control problem for a subclass of LTL to a deterministic shortest "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.06469","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1510.06469","created_at":"2026-05-18T00:58:10.226015+00:00"},{"alias_kind":"arxiv_version","alias_value":"1510.06469v1","created_at":"2026-05-18T00:58:10.226015+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.06469","created_at":"2026-05-18T00:58:10.226015+00:00"},{"alias_kind":"pith_short_12","alias_value":"SA4MIZLEK5YM","created_at":"2026-05-18T12:29:39.896362+00:00"},{"alias_kind":"pith_short_16","alias_value":"SA4MIZLEK5YMPIJL","created_at":"2026-05-18T12:29:39.896362+00:00"},{"alias_kind":"pith_short_8","alias_value":"SA4MIZLE","created_at":"2026-05-18T12:29:39.896362+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/SA4MIZLEK5YMPIJLBZJDALYCMW","json":"https://pith.science/pith/SA4MIZLEK5YMPIJLBZJDALYCMW.json","graph_json":"https://pith.science/api/pith-number/SA4MIZLEK5YMPIJLBZJDALYCMW/graph.json","events_json":"https://pith.science/api/pith-number/SA4MIZLEK5YMPIJLBZJDALYCMW/events.json","paper":"https://pith.science/paper/SA4MIZLE"},"agent_actions":{"view_html":"https://pith.science/pith/SA4MIZLEK5YMPIJLBZJDALYCMW","download_json":"https://pith.science/pith/SA4MIZLEK5YMPIJLBZJDALYCMW.json","view_paper":"https://pith.science/paper/SA4MIZLE","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1510.06469&json=true","fetch_graph":"https://pith.science/api/pith-number/SA4MIZLEK5YMPIJLBZJDALYCMW/graph.json","fetch_events":"https://pith.science/api/pith-number/SA4MIZLEK5YMPIJLBZJDALYCMW/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/SA4MIZLEK5YMPIJLBZJDALYCMW/action/timestamp_anchor","attest_storage":"https://pith.science/pith/SA4MIZLEK5YMPIJLBZJDALYCMW/action/storage_attestation","attest_author":"https://pith.science/pith/SA4MIZLEK5YMPIJLBZJDALYCMW/action/author_attestation","sign_citation":"https://pith.science/pith/SA4MIZLEK5YMPIJLBZJDALYCMW/action/citation_signature","submit_replication":"https://pith.science/pith/SA4MIZLEK5YMPIJLBZJDALYCMW/action/replication_record"}},"created_at":"2026-05-18T00:58:10.226015+00:00","updated_at":"2026-05-18T00:58:10.226015+00:00"}