{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:GWT2QDF5LNYENNQFUZPCMHI6RH","short_pith_number":"pith:GWT2QDF5","canonical_record":{"source":{"id":"1008.3760","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2010-08-23T07:16:51Z","cross_cats_sorted":["cs.SY","math.OC"],"title_canon_sha256":"d759ec1be282357aef8484e997ccd143be6ef9d6d8aa05990cbd49f158d00509","abstract_canon_sha256":"e0b97dc5bfe8ff6aa6ca6271fa222cfbc5bdb96127455437ca663e6f2403a3dc"},"schema_version":"1.0"},"canonical_sha256":"35a7a80cbd5b7046b605a65e261d1e89d461b72ac96735c83bdbb49234953885","source":{"kind":"arxiv","id":"1008.3760","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1008.3760","created_at":"2026-05-18T04:41:55Z"},{"alias_kind":"arxiv_version","alias_value":"1008.3760v1","created_at":"2026-05-18T04:41:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1008.3760","created_at":"2026-05-18T04:41:55Z"},{"alias_kind":"pith_short_12","alias_value":"GWT2QDF5LNYE","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_16","alias_value":"GWT2QDF5LNYENNQF","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_8","alias_value":"GWT2QDF5","created_at":"2026-05-18T12:26:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:GWT2QDF5LNYENNQFUZPCMHI6RH","target":"record","payload":{"canonical_record":{"source":{"id":"1008.3760","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2010-08-23T07:16:51Z","cross_cats_sorted":["cs.SY","math.OC"],"title_canon_sha256":"d759ec1be282357aef8484e997ccd143be6ef9d6d8aa05990cbd49f158d00509","abstract_canon_sha256":"e0b97dc5bfe8ff6aa6ca6271fa222cfbc5bdb96127455437ca663e6f2403a3dc"},"schema_version":"1.0"},"canonical_sha256":"35a7a80cbd5b7046b605a65e261d1e89d461b72ac96735c83bdbb49234953885","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:41:55.260473Z","signature_b64":"uLrYQe2AExBZt2OBart7HqHaAN7/xBoaaA25DeXWwPfKgQwELZrREYp7RFvVwPhvHhIPyrYJBoE4jx5C12R1Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"35a7a80cbd5b7046b605a65e261d1e89d461b72ac96735c83bdbb49234953885","last_reissued_at":"2026-05-18T04:41:55.260057Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:41:55.260057Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1008.3760","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-18T04:41:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"70e32NimT9C1jTL8OoAwsRHzJQfqfv2EeR/LqF77BlyyL0NW3x+P7/ivN3dEj8tAdDFJIhDFNxdUyQIyAbbrCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T21:26:09.588917Z"},"content_sha256":"1fb50361c6e9a887294d368f60dc7166da5c40dc1a8f00d15eb2cca44b5d4049","schema_version":"1.0","event_id":"sha256:1fb50361c6e9a887294d368f60dc7166da5c40dc1a8f00d15eb2cca44b5d4049"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:GWT2QDF5LNYENNQFUZPCMHI6RH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formal-language-theoretic Optimal Path Planning For Accommodation of Amortized Uncertainties and Dynamic Effects","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","math.OC"],"primary_cat":"cs.RO","authors_text":"Anthony Cascone, Asok Ray, Ishanu Chattopadhyay","submitted_at":"2010-08-23T07:16:51Z","abstract_excerpt":"We report a globally-optimal approach to robotic path planning under uncertainty, based on the theory of quantitative measures of formal languages. A significant generalization to the language-measure-theoretic path planning algorithm $\\nustar$ is presented that explicitly accounts for average dynamic uncertainties and estimation errors in plan execution. The notion of the navigation automaton is generalized to include probabilistic uncontrollable transitions, which account for uncertainties by modeling and planning for probabilistic deviations from the computed policy in the course of executi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1008.3760","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-18T04:41:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bXwFO5vKe+Wj9CPdQDRKnxYKeY1uNrhLTrZeoItlu1ZebeSgBZrOGItCoAfx0k+lb8Dakfs+MPOPoi9LCEAoDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T21:26:09.589265Z"},"content_sha256":"1fc120249560aff2f712dc66bb5d84768e0893cfc248acfe8f7cf3237fd7c921","schema_version":"1.0","event_id":"sha256:1fc120249560aff2f712dc66bb5d84768e0893cfc248acfe8f7cf3237fd7c921"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GWT2QDF5LNYENNQFUZPCMHI6RH/bundle.json","state_url":"https://pith.science/pith/GWT2QDF5LNYENNQFUZPCMHI6RH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GWT2QDF5LNYENNQFUZPCMHI6RH/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-01T21:26:09Z","links":{"resolver":"https://pith.science/pith/GWT2QDF5LNYENNQFUZPCMHI6RH","bundle":"https://pith.science/pith/GWT2QDF5LNYENNQFUZPCMHI6RH/bundle.json","state":"https://pith.science/pith/GWT2QDF5LNYENNQFUZPCMHI6RH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GWT2QDF5LNYENNQFUZPCMHI6RH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:GWT2QDF5LNYENNQFUZPCMHI6RH","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":"e0b97dc5bfe8ff6aa6ca6271fa222cfbc5bdb96127455437ca663e6f2403a3dc","cross_cats_sorted":["cs.SY","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2010-08-23T07:16:51Z","title_canon_sha256":"d759ec1be282357aef8484e997ccd143be6ef9d6d8aa05990cbd49f158d00509"},"schema_version":"1.0","source":{"id":"1008.3760","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1008.3760","created_at":"2026-05-18T04:41:55Z"},{"alias_kind":"arxiv_version","alias_value":"1008.3760v1","created_at":"2026-05-18T04:41:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1008.3760","created_at":"2026-05-18T04:41:55Z"},{"alias_kind":"pith_short_12","alias_value":"GWT2QDF5LNYE","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_16","alias_value":"GWT2QDF5LNYENNQF","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_8","alias_value":"GWT2QDF5","created_at":"2026-05-18T12:26:07Z"}],"graph_snapshots":[{"event_id":"sha256:1fc120249560aff2f712dc66bb5d84768e0893cfc248acfe8f7cf3237fd7c921","target":"graph","created_at":"2026-05-18T04:41:55Z","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 report a globally-optimal approach to robotic path planning under uncertainty, based on the theory of quantitative measures of formal languages. A significant generalization to the language-measure-theoretic path planning algorithm $\\nustar$ is presented that explicitly accounts for average dynamic uncertainties and estimation errors in plan execution. The notion of the navigation automaton is generalized to include probabilistic uncontrollable transitions, which account for uncertainties by modeling and planning for probabilistic deviations from the computed policy in the course of executi","authors_text":"Anthony Cascone, Asok Ray, Ishanu Chattopadhyay","cross_cats":["cs.SY","math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2010-08-23T07:16:51Z","title":"Formal-language-theoretic Optimal Path Planning For Accommodation of Amortized Uncertainties and Dynamic Effects"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1008.3760","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:1fb50361c6e9a887294d368f60dc7166da5c40dc1a8f00d15eb2cca44b5d4049","target":"record","created_at":"2026-05-18T04:41:55Z","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":"e0b97dc5bfe8ff6aa6ca6271fa222cfbc5bdb96127455437ca663e6f2403a3dc","cross_cats_sorted":["cs.SY","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2010-08-23T07:16:51Z","title_canon_sha256":"d759ec1be282357aef8484e997ccd143be6ef9d6d8aa05990cbd49f158d00509"},"schema_version":"1.0","source":{"id":"1008.3760","kind":"arxiv","version":1}},"canonical_sha256":"35a7a80cbd5b7046b605a65e261d1e89d461b72ac96735c83bdbb49234953885","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"35a7a80cbd5b7046b605a65e261d1e89d461b72ac96735c83bdbb49234953885","first_computed_at":"2026-05-18T04:41:55.260057Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:41:55.260057Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uLrYQe2AExBZt2OBart7HqHaAN7/xBoaaA25DeXWwPfKgQwELZrREYp7RFvVwPhvHhIPyrYJBoE4jx5C12R1Cw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:41:55.260473Z","signed_message":"canonical_sha256_bytes"},"source_id":"1008.3760","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1fb50361c6e9a887294d368f60dc7166da5c40dc1a8f00d15eb2cca44b5d4049","sha256:1fc120249560aff2f712dc66bb5d84768e0893cfc248acfe8f7cf3237fd7c921"],"state_sha256":"59cb48bf68caf86afdcf13b6d6269c29296a6144c674cd4f17a0f3b97931e914"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"toE+CZ/a26mNsbNGO0MGu/fCeYeckmiYZS2haBviZVSSoTF+Z7Q/BDQpcfe6wi9QIndxGKctO77Tyuglr03hDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T21:26:09.591195Z","bundle_sha256":"68d04836fe74248661fddea181acf3cc029c64329e4629d9179ace9c1d717b32"}}