{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:YPP46Z2I6LFWTJ7X2Q3WGIRZYK","short_pith_number":"pith:YPP46Z2I","canonical_record":{"source":{"id":"1806.00805","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-06-03T14:56:42Z","cross_cats_sorted":["cs.RO"],"title_canon_sha256":"45c03f5a5c2df3f8cf1cc54df2b113daaa2177f6e8efa58ef758a5f2b5a2e7f5","abstract_canon_sha256":"fcc37929614ca0965cab1bb4cc9f56b264dd3829a0b5f3bf41b409a977aaf98d"},"schema_version":"1.0"},"canonical_sha256":"c3dfcf6748f2cb69a7f7d437632239c2874236128ef36370fe36d6bc2f498287","source":{"kind":"arxiv","id":"1806.00805","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.00805","created_at":"2026-05-18T00:14:18Z"},{"alias_kind":"arxiv_version","alias_value":"1806.00805v1","created_at":"2026-05-18T00:14:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.00805","created_at":"2026-05-18T00:14:18Z"},{"alias_kind":"pith_short_12","alias_value":"YPP46Z2I6LFW","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"YPP46Z2I6LFWTJ7X","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"YPP46Z2I","created_at":"2026-05-18T12:33:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:YPP46Z2I6LFWTJ7X2Q3WGIRZYK","target":"record","payload":{"canonical_record":{"source":{"id":"1806.00805","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-06-03T14:56:42Z","cross_cats_sorted":["cs.RO"],"title_canon_sha256":"45c03f5a5c2df3f8cf1cc54df2b113daaa2177f6e8efa58ef758a5f2b5a2e7f5","abstract_canon_sha256":"fcc37929614ca0965cab1bb4cc9f56b264dd3829a0b5f3bf41b409a977aaf98d"},"schema_version":"1.0"},"canonical_sha256":"c3dfcf6748f2cb69a7f7d437632239c2874236128ef36370fe36d6bc2f498287","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:14:18.354195Z","signature_b64":"61pqWd4wLJWp19HPMe4rK0s8txbecdA1NjNOHs3cTcNgXPJimelP9U9lycUSsiQGjL5eX+elv/cKeopOL5+VBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c3dfcf6748f2cb69a7f7d437632239c2874236128ef36370fe36d6bc2f498287","last_reissued_at":"2026-05-18T00:14:18.353722Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:14:18.353722Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1806.00805","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-05-18T00:14:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MyolA/vp1BtW8UV3DiqePF1QXamJ4q6kFae7pc2vmoRHRgFUNl8j0SrKGVH19exyNu6IvwnkCgXWMeYo0ygRDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T05:31:16.688134Z"},"content_sha256":"c16b12dbe7a9c57b20572cb9e7d61f4c8f6a28b3dfc30eb0583e63b1ce60b59b","schema_version":"1.0","event_id":"sha256:c16b12dbe7a9c57b20572cb9e7d61f4c8f6a28b3dfc30eb0583e63b1ce60b59b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:YPP46Z2I6LFWTJ7X2Q3WGIRZYK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Admissible Abstractions for Near-optimal Task and Motion Planning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO"],"primary_cat":"cs.AI","authors_text":"Nicholas Roy, William Vega-Brown","submitted_at":"2018-06-03T14:56:42Z","abstract_excerpt":"We define an admissibility condition for abstractions expressed using angelic semantics and show that these conditions allow us to accelerate planning while preserving the ability to find the optimal motion plan. We then derive admissible abstractions for two motion planning domains with continuous state. We extract upper and lower bounds on the cost of concrete motion plans using local metric and topological properties of the problem domain. These bounds guide the search for a plan while maintaining performance guarantees. We show that abstraction can dramatically reduce the complexity of sea"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.00805","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"},"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-18T00:14:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rv/m8N4nVyz6EVQpJ2Uymxk0J42A7RXk36I6pBJq0MqM2YeJ1qpbK7xFlKwD0pKA0B/lhDLOntItBDtpdXOyBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T05:31:16.688505Z"},"content_sha256":"d09e0302fb02b34f990330d874d05eacbcf399161eefd515faae00fcdedf2f05","schema_version":"1.0","event_id":"sha256:d09e0302fb02b34f990330d874d05eacbcf399161eefd515faae00fcdedf2f05"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YPP46Z2I6LFWTJ7X2Q3WGIRZYK/bundle.json","state_url":"https://pith.science/pith/YPP46Z2I6LFWTJ7X2Q3WGIRZYK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YPP46Z2I6LFWTJ7X2Q3WGIRZYK/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-01T05:31:16Z","links":{"resolver":"https://pith.science/pith/YPP46Z2I6LFWTJ7X2Q3WGIRZYK","bundle":"https://pith.science/pith/YPP46Z2I6LFWTJ7X2Q3WGIRZYK/bundle.json","state":"https://pith.science/pith/YPP46Z2I6LFWTJ7X2Q3WGIRZYK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YPP46Z2I6LFWTJ7X2Q3WGIRZYK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:YPP46Z2I6LFWTJ7X2Q3WGIRZYK","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":"fcc37929614ca0965cab1bb4cc9f56b264dd3829a0b5f3bf41b409a977aaf98d","cross_cats_sorted":["cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-06-03T14:56:42Z","title_canon_sha256":"45c03f5a5c2df3f8cf1cc54df2b113daaa2177f6e8efa58ef758a5f2b5a2e7f5"},"schema_version":"1.0","source":{"id":"1806.00805","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.00805","created_at":"2026-05-18T00:14:18Z"},{"alias_kind":"arxiv_version","alias_value":"1806.00805v1","created_at":"2026-05-18T00:14:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.00805","created_at":"2026-05-18T00:14:18Z"},{"alias_kind":"pith_short_12","alias_value":"YPP46Z2I6LFW","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"YPP46Z2I6LFWTJ7X","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"YPP46Z2I","created_at":"2026-05-18T12:33:04Z"}],"graph_snapshots":[{"event_id":"sha256:d09e0302fb02b34f990330d874d05eacbcf399161eefd515faae00fcdedf2f05","target":"graph","created_at":"2026-05-18T00:14:18Z","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"},"paper":{"abstract_excerpt":"We define an admissibility condition for abstractions expressed using angelic semantics and show that these conditions allow us to accelerate planning while preserving the ability to find the optimal motion plan. We then derive admissible abstractions for two motion planning domains with continuous state. We extract upper and lower bounds on the cost of concrete motion plans using local metric and topological properties of the problem domain. These bounds guide the search for a plan while maintaining performance guarantees. We show that abstraction can dramatically reduce the complexity of sea","authors_text":"Nicholas Roy, William Vega-Brown","cross_cats":["cs.RO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-06-03T14:56:42Z","title":"Admissible Abstractions for Near-optimal Task and Motion Planning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.00805","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:c16b12dbe7a9c57b20572cb9e7d61f4c8f6a28b3dfc30eb0583e63b1ce60b59b","target":"record","created_at":"2026-05-18T00:14:18Z","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":"fcc37929614ca0965cab1bb4cc9f56b264dd3829a0b5f3bf41b409a977aaf98d","cross_cats_sorted":["cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-06-03T14:56:42Z","title_canon_sha256":"45c03f5a5c2df3f8cf1cc54df2b113daaa2177f6e8efa58ef758a5f2b5a2e7f5"},"schema_version":"1.0","source":{"id":"1806.00805","kind":"arxiv","version":1}},"canonical_sha256":"c3dfcf6748f2cb69a7f7d437632239c2874236128ef36370fe36d6bc2f498287","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c3dfcf6748f2cb69a7f7d437632239c2874236128ef36370fe36d6bc2f498287","first_computed_at":"2026-05-18T00:14:18.353722Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:14:18.353722Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"61pqWd4wLJWp19HPMe4rK0s8txbecdA1NjNOHs3cTcNgXPJimelP9U9lycUSsiQGjL5eX+elv/cKeopOL5+VBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:14:18.354195Z","signed_message":"canonical_sha256_bytes"},"source_id":"1806.00805","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c16b12dbe7a9c57b20572cb9e7d61f4c8f6a28b3dfc30eb0583e63b1ce60b59b","sha256:d09e0302fb02b34f990330d874d05eacbcf399161eefd515faae00fcdedf2f05"],"state_sha256":"067c16e47f63c635be50ca1688ba71a0a92cfb6b3cde94205f00426ab9d8f199"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0kbmkJ1tPbHB7z90yTbepxzMzspa3rsdyFAF6D5456AkDbMGWTY8paovP93q+k1pdFR24wEMp4QKf7OaGT8WBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T05:31:16.690613Z","bundle_sha256":"f314d3695a2237c1a3c93cccad29ab27709a15e41b422743633a52f29ee6387e"}}