{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:XOA3R2OWYR3TUGYRZTJL5P5ZC3","short_pith_number":"pith:XOA3R2OW","schema_version":"1.0","canonical_sha256":"bb81b8e9d6c4773a1b11ccd2bebfb916cfacfc239cf313a84f2df084f66a2e6e","source":{"kind":"arxiv","id":"1604.05657","version":2},"attestation_state":"computed","paper":{"title":"Formal Design of Robot Integrated Task and Motion Planning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Bo Wu, Hai Lin, Rafael Rodrigues da Silva","submitted_at":"2016-04-19T17:25:02Z","abstract_excerpt":"Integrated Task and Motion Planning (ITMP) for mobile robots in a dynamic environment with moving obstacles is a challenging research question and attracts more and more attentions recently. Most existing methods either restrict to static environments or lack performance guarantees. This motivates us to investigate the ITMP problem using formal methods and propose a bottom-up compositional design approach called CoSMoP (Composition of Safe Motion Primitives). Our basic idea is to synthesize a global motion plan through composing simple local moves and actions, and to achieve its performance gu"},"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":"1604.05657","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2016-04-19T17:25:02Z","cross_cats_sorted":[],"title_canon_sha256":"8c46ee78f51db8dc58e7f27e52d583bca6b0c62fa12e44ed43de3b5d4ad9e248","abstract_canon_sha256":"4e5f28858d4a2b57653427e59ef2154b4882aa78ff4bc2974b8b1fea2c4f6bdf"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:54:58.062886Z","signature_b64":"pgmmCblx5P3t8TqSWYxolKCoqIL19MOpwWA5+zNwTY+lY8gq1gRukyoPtnBxlHw6IUiNR6fsqrQpJVcM6q12DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bb81b8e9d6c4773a1b11ccd2bebfb916cfacfc239cf313a84f2df084f66a2e6e","last_reissued_at":"2026-05-18T00:54:58.062463Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:54:58.062463Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Formal Design of Robot Integrated Task and Motion Planning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Bo Wu, Hai Lin, Rafael Rodrigues da Silva","submitted_at":"2016-04-19T17:25:02Z","abstract_excerpt":"Integrated Task and Motion Planning (ITMP) for mobile robots in a dynamic environment with moving obstacles is a challenging research question and attracts more and more attentions recently. Most existing methods either restrict to static environments or lack performance guarantees. This motivates us to investigate the ITMP problem using formal methods and propose a bottom-up compositional design approach called CoSMoP (Composition of Safe Motion Primitives). Our basic idea is to synthesize a global motion plan through composing simple local moves and actions, and to achieve its performance gu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.05657","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":""},"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":"1604.05657","created_at":"2026-05-18T00:54:58.062532+00:00"},{"alias_kind":"arxiv_version","alias_value":"1604.05657v2","created_at":"2026-05-18T00:54:58.062532+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.05657","created_at":"2026-05-18T00:54:58.062532+00:00"},{"alias_kind":"pith_short_12","alias_value":"XOA3R2OWYR3T","created_at":"2026-05-18T12:30:51.357362+00:00"},{"alias_kind":"pith_short_16","alias_value":"XOA3R2OWYR3TUGYR","created_at":"2026-05-18T12:30:51.357362+00:00"},{"alias_kind":"pith_short_8","alias_value":"XOA3R2OW","created_at":"2026-05-18T12:30:51.357362+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/XOA3R2OWYR3TUGYRZTJL5P5ZC3","json":"https://pith.science/pith/XOA3R2OWYR3TUGYRZTJL5P5ZC3.json","graph_json":"https://pith.science/api/pith-number/XOA3R2OWYR3TUGYRZTJL5P5ZC3/graph.json","events_json":"https://pith.science/api/pith-number/XOA3R2OWYR3TUGYRZTJL5P5ZC3/events.json","paper":"https://pith.science/paper/XOA3R2OW"},"agent_actions":{"view_html":"https://pith.science/pith/XOA3R2OWYR3TUGYRZTJL5P5ZC3","download_json":"https://pith.science/pith/XOA3R2OWYR3TUGYRZTJL5P5ZC3.json","view_paper":"https://pith.science/paper/XOA3R2OW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1604.05657&json=true","fetch_graph":"https://pith.science/api/pith-number/XOA3R2OWYR3TUGYRZTJL5P5ZC3/graph.json","fetch_events":"https://pith.science/api/pith-number/XOA3R2OWYR3TUGYRZTJL5P5ZC3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XOA3R2OWYR3TUGYRZTJL5P5ZC3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XOA3R2OWYR3TUGYRZTJL5P5ZC3/action/storage_attestation","attest_author":"https://pith.science/pith/XOA3R2OWYR3TUGYRZTJL5P5ZC3/action/author_attestation","sign_citation":"https://pith.science/pith/XOA3R2OWYR3TUGYRZTJL5P5ZC3/action/citation_signature","submit_replication":"https://pith.science/pith/XOA3R2OWYR3TUGYRZTJL5P5ZC3/action/replication_record"}},"created_at":"2026-05-18T00:54:58.062532+00:00","updated_at":"2026-05-18T00:54:58.062532+00:00"}