{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:LXZSDEZJFCMUV6W5K474PALVRW","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":"0d28abd4278fa8cc0e2b9c817dd88aa406fae1f2eb4b6cd7283a7569156db50c","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2023-03-15T09:29:27Z","title_canon_sha256":"09e6185b4470f37e6a030e7408cae3ead233a96e563c6afba6c7b5d57cf5747a"},"schema_version":"1.0","source":{"id":"2303.08476","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.08476","created_at":"2026-07-05T07:22:49Z"},{"alias_kind":"arxiv_version","alias_value":"2303.08476v2","created_at":"2026-07-05T07:22:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.08476","created_at":"2026-07-05T07:22:49Z"},{"alias_kind":"pith_short_12","alias_value":"LXZSDEZJFCMU","created_at":"2026-07-05T07:22:49Z"},{"alias_kind":"pith_short_16","alias_value":"LXZSDEZJFCMUV6W5","created_at":"2026-07-05T07:22:49Z"},{"alias_kind":"pith_short_8","alias_value":"LXZSDEZJ","created_at":"2026-07-05T07:22:49Z"}],"graph_snapshots":[{"event_id":"sha256:e0eb35114931c31f8f2424d97b3b5661560e8744b2553b1a35d692206eeccead","target":"graph","created_at":"2026-07-05T07:22:49Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2303.08476/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Autonomous robots used in infrastructure inspection, space exploration and other critical missions operate in highly dynamic environments. As such, they must continually verify their ability to complete the tasks associated with these missions safely and effectively. Here we present a Bayesian learning framework that enables this runtime verification of autonomous robots. The framework uses prior knowledge and observations of the verified robot to learn expected ranges for the occurrence rates of regular and singular (e.g., catastrophic failure) events. Interval continuous-time Markov models d","authors_text":"Calum Imrie, David Flynn, Radu Calinescu, Simos Gerasimou, Valentin Robu, Xingyu Zhao","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2023-03-15T09:29:27Z","title":"Bayesian Learning for the Robust Verification of Autonomous Robots"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.08476","kind":"arxiv","version":2},"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:43c0980dd88afc847cf82ec3fdcbd6dff9849cce4c3c83de1fa134a6a2ff7282","target":"record","created_at":"2026-07-05T07:22:49Z","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":"0d28abd4278fa8cc0e2b9c817dd88aa406fae1f2eb4b6cd7283a7569156db50c","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2023-03-15T09:29:27Z","title_canon_sha256":"09e6185b4470f37e6a030e7408cae3ead233a96e563c6afba6c7b5d57cf5747a"},"schema_version":"1.0","source":{"id":"2303.08476","kind":"arxiv","version":2}},"canonical_sha256":"5df321932928994afadd573fc781758db275ae7504434a31f1edabbbb8879eb3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5df321932928994afadd573fc781758db275ae7504434a31f1edabbbb8879eb3","first_computed_at":"2026-07-05T07:22:49.691158Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:22:49.691158Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yZXxUu07WFpTXdM6zmTnQdWURu6VuSaHZ9l2VRPikeN1Z19FE2XzO9UyJ5GAMIqRdzRtYx7vCl+c1P5WdP8RDA==","signature_status":"signed_v1","signed_at":"2026-07-05T07:22:49.691628Z","signed_message":"canonical_sha256_bytes"},"source_id":"2303.08476","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:43c0980dd88afc847cf82ec3fdcbd6dff9849cce4c3c83de1fa134a6a2ff7282","sha256:e0eb35114931c31f8f2424d97b3b5661560e8744b2553b1a35d692206eeccead"],"state_sha256":"24965fdce0eb5f761db0826848dc478c14401e785f3b1434201bd20e934d9896"}