{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:P5DDV4EGVOZN6BOGDAPST43RC5","short_pith_number":"pith:P5DDV4EG","canonical_record":{"source":{"id":"1207.1280","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2012-07-05T14:59:18Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"1acbe35144de8619508edbc5c4ce7f885779266c10a63d91f24780b8356b0668","abstract_canon_sha256":"0903b7d5d7450d83a49049f7399befea834571da832733e7387b1e0c1e81da46"},"schema_version":"1.0"},"canonical_sha256":"7f463af086abb2df05c6181f29f371177cbf789a8bba4aeb00863f3ee81934d2","source":{"kind":"arxiv","id":"1207.1280","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1207.1280","created_at":"2026-05-18T03:51:46Z"},{"alias_kind":"arxiv_version","alias_value":"1207.1280v1","created_at":"2026-05-18T03:51:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.1280","created_at":"2026-05-18T03:51:46Z"},{"alias_kind":"pith_short_12","alias_value":"P5DDV4EGVOZN","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_16","alias_value":"P5DDV4EGVOZN6BOG","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_8","alias_value":"P5DDV4EG","created_at":"2026-05-18T12:27:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:P5DDV4EGVOZN6BOGDAPST43RC5","target":"record","payload":{"canonical_record":{"source":{"id":"1207.1280","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2012-07-05T14:59:18Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"1acbe35144de8619508edbc5c4ce7f885779266c10a63d91f24780b8356b0668","abstract_canon_sha256":"0903b7d5d7450d83a49049f7399befea834571da832733e7387b1e0c1e81da46"},"schema_version":"1.0"},"canonical_sha256":"7f463af086abb2df05c6181f29f371177cbf789a8bba4aeb00863f3ee81934d2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:51:46.448727Z","signature_b64":"B5yzTAcZ0S+op8bQ2dLMV8yiy7rPfSkT8VR8dS6mqBr9eco8dC1boqfLJKIFyjLwsXR7Wn8aWRLZ8bjDZpeUAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7f463af086abb2df05c6181f29f371177cbf789a8bba4aeb00863f3ee81934d2","last_reissued_at":"2026-05-18T03:51:46.448077Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:51:46.448077Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1207.1280","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-18T03:51:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"968UaUjgM4F2H/gFaxEK2n6RAO6zl6lbWGLMdha91nLuYZ8pbWvqNZEt+k3E4jrcxJ+vIz3ei2cDRiUmMRmcCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T11:18:43.815890Z"},"content_sha256":"90eb0d1bc6b34270c4c63704ea2c974eb2f350c16beac9ebfee037ce38555c72","schema_version":"1.0","event_id":"sha256:90eb0d1bc6b34270c4c63704ea2c974eb2f350c16beac9ebfee037ce38555c72"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:P5DDV4EGVOZN6BOGDAPST43RC5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Probabilistically Safe Control of Noisy Dubins Vehicles","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"cs.RO","authors_text":"Calin Belta, Igor Cizelj","submitted_at":"2012-07-05T14:59:18Z","abstract_excerpt":"We address the problem of controlling a stochastic version of a Dubins vehicle such that the probability of satisfying a temporal logic specification over a set of properties at the regions in a partitioned environment is maximized. We assume that the vehicle can determine its precise initial position in a known map of the environment. However, inspired by practical limitations, we assume that the vehicle is equipped with noisy actuators and, during its motion in the environment, it can only measure its angular velocity using a limited accuracy gyroscope. Through quantization and discretizatio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.1280","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-18T03:51:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yBFc4AKy3AOVqVHFba/GqTpA3u1k73SwHRKBmN5yVPRew9fDUIwTDfTjS0Bw09hsLPOY3mwDqKLHn28A52MZBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T11:18:43.816246Z"},"content_sha256":"dafdd52c855cfb6d69596785d87e505e90b3892f35b9c52c559ebbb89e806e24","schema_version":"1.0","event_id":"sha256:dafdd52c855cfb6d69596785d87e505e90b3892f35b9c52c559ebbb89e806e24"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/P5DDV4EGVOZN6BOGDAPST43RC5/bundle.json","state_url":"https://pith.science/pith/P5DDV4EGVOZN6BOGDAPST43RC5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/P5DDV4EGVOZN6BOGDAPST43RC5/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-11T11:18:43Z","links":{"resolver":"https://pith.science/pith/P5DDV4EGVOZN6BOGDAPST43RC5","bundle":"https://pith.science/pith/P5DDV4EGVOZN6BOGDAPST43RC5/bundle.json","state":"https://pith.science/pith/P5DDV4EGVOZN6BOGDAPST43RC5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/P5DDV4EGVOZN6BOGDAPST43RC5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:P5DDV4EGVOZN6BOGDAPST43RC5","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":"0903b7d5d7450d83a49049f7399befea834571da832733e7387b1e0c1e81da46","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2012-07-05T14:59:18Z","title_canon_sha256":"1acbe35144de8619508edbc5c4ce7f885779266c10a63d91f24780b8356b0668"},"schema_version":"1.0","source":{"id":"1207.1280","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1207.1280","created_at":"2026-05-18T03:51:46Z"},{"alias_kind":"arxiv_version","alias_value":"1207.1280v1","created_at":"2026-05-18T03:51:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.1280","created_at":"2026-05-18T03:51:46Z"},{"alias_kind":"pith_short_12","alias_value":"P5DDV4EGVOZN","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_16","alias_value":"P5DDV4EGVOZN6BOG","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_8","alias_value":"P5DDV4EG","created_at":"2026-05-18T12:27:18Z"}],"graph_snapshots":[{"event_id":"sha256:dafdd52c855cfb6d69596785d87e505e90b3892f35b9c52c559ebbb89e806e24","target":"graph","created_at":"2026-05-18T03:51:46Z","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 address the problem of controlling a stochastic version of a Dubins vehicle such that the probability of satisfying a temporal logic specification over a set of properties at the regions in a partitioned environment is maximized. We assume that the vehicle can determine its precise initial position in a known map of the environment. However, inspired by practical limitations, we assume that the vehicle is equipped with noisy actuators and, during its motion in the environment, it can only measure its angular velocity using a limited accuracy gyroscope. Through quantization and discretizatio","authors_text":"Calin Belta, Igor Cizelj","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2012-07-05T14:59:18Z","title":"Probabilistically Safe Control of Noisy Dubins Vehicles"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.1280","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:90eb0d1bc6b34270c4c63704ea2c974eb2f350c16beac9ebfee037ce38555c72","target":"record","created_at":"2026-05-18T03:51:46Z","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":"0903b7d5d7450d83a49049f7399befea834571da832733e7387b1e0c1e81da46","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2012-07-05T14:59:18Z","title_canon_sha256":"1acbe35144de8619508edbc5c4ce7f885779266c10a63d91f24780b8356b0668"},"schema_version":"1.0","source":{"id":"1207.1280","kind":"arxiv","version":1}},"canonical_sha256":"7f463af086abb2df05c6181f29f371177cbf789a8bba4aeb00863f3ee81934d2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7f463af086abb2df05c6181f29f371177cbf789a8bba4aeb00863f3ee81934d2","first_computed_at":"2026-05-18T03:51:46.448077Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:51:46.448077Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"B5yzTAcZ0S+op8bQ2dLMV8yiy7rPfSkT8VR8dS6mqBr9eco8dC1boqfLJKIFyjLwsXR7Wn8aWRLZ8bjDZpeUAw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:51:46.448727Z","signed_message":"canonical_sha256_bytes"},"source_id":"1207.1280","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:90eb0d1bc6b34270c4c63704ea2c974eb2f350c16beac9ebfee037ce38555c72","sha256:dafdd52c855cfb6d69596785d87e505e90b3892f35b9c52c559ebbb89e806e24"],"state_sha256":"c8ea2ff9d5a95aaf76121d4ecde74649db77397433bd3bf78f8ad9fa2ec80c0f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yu//p0f1ttEc6TZZxzG73IZcpcR4vQzZ2830LsHv04kkZcXDrV40+Ds6EQCtTXttnFcogd/wdmGJkcq0jl/5AA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T11:18:43.818140Z","bundle_sha256":"a7692b4d4a85aeeeb6b3a41f56e2d95eecfd9d584507768d5d092b359d865768"}}