{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:XZKQCV5MAIWGHSTZNJMVILBO52","short_pith_number":"pith:XZKQCV5M","schema_version":"1.0","canonical_sha256":"be550157ac022c63ca796a59542c2eee8a0b68c56f6e4cb7102c8459f4552f10","source":{"kind":"arxiv","id":"2204.09833","version":1},"attestation_state":"computed","paper":{"title":"Sample-Based Bounds for Coherent Risk Measures: Applications to Policy Synthesis and Verification","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.AI","authors_text":"Aaron D. Ames, Anushri Dixit, Joel W. Burdick, Mohamadreza Ahmadi, Prithvi Akella","submitted_at":"2022-04-21T01:06:10Z","abstract_excerpt":"The dramatic increase of autonomous systems subject to variable environments has given rise to the pressing need to consider risk in both the synthesis and verification of policies for these systems. This paper aims to address a few problems regarding risk-aware verification and policy synthesis, by first developing a sample-based method to bound the risk measure evaluation of a random variable whose distribution is unknown. These bounds permit us to generate high-confidence verification statements for a large class of robotic systems. Second, we develop a sample-based method to determine solu"},"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":"2204.09833","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-04-21T01:06:10Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"6f9c6f4e2ef017e85bee4ffce46a2b6fd5cb8b4d987f37442cd4f79b18ac9db2","abstract_canon_sha256":"1e304f543cb451f455062f1a47c0e07614848175764e96dfbfbd775e22487cc3"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:16:43.466973Z","signature_b64":"hOAi3K178qHCAgIzNNmhE2OBZqP99lpTnUeR28LFxc2Wj0vBZYU6R3Tpp6t/j8O4F/msmWTw7M5+dPF32aJSCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"be550157ac022c63ca796a59542c2eee8a0b68c56f6e4cb7102c8459f4552f10","last_reissued_at":"2026-07-05T04:16:43.466493Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:16:43.466493Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Sample-Based Bounds for Coherent Risk Measures: Applications to Policy Synthesis and Verification","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.AI","authors_text":"Aaron D. Ames, Anushri Dixit, Joel W. Burdick, Mohamadreza Ahmadi, Prithvi Akella","submitted_at":"2022-04-21T01:06:10Z","abstract_excerpt":"The dramatic increase of autonomous systems subject to variable environments has given rise to the pressing need to consider risk in both the synthesis and verification of policies for these systems. This paper aims to address a few problems regarding risk-aware verification and policy synthesis, by first developing a sample-based method to bound the risk measure evaluation of a random variable whose distribution is unknown. These bounds permit us to generate high-confidence verification statements for a large class of robotic systems. Second, we develop a sample-based method to determine solu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2204.09833","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2204.09833/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2204.09833","created_at":"2026-07-05T04:16:43.466560+00:00"},{"alias_kind":"arxiv_version","alias_value":"2204.09833v1","created_at":"2026-07-05T04:16:43.466560+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2204.09833","created_at":"2026-07-05T04:16:43.466560+00:00"},{"alias_kind":"pith_short_12","alias_value":"XZKQCV5MAIWG","created_at":"2026-07-05T04:16:43.466560+00:00"},{"alias_kind":"pith_short_16","alias_value":"XZKQCV5MAIWGHSTZ","created_at":"2026-07-05T04:16:43.466560+00:00"},{"alias_kind":"pith_short_8","alias_value":"XZKQCV5M","created_at":"2026-07-05T04:16:43.466560+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/XZKQCV5MAIWGHSTZNJMVILBO52","json":"https://pith.science/pith/XZKQCV5MAIWGHSTZNJMVILBO52.json","graph_json":"https://pith.science/api/pith-number/XZKQCV5MAIWGHSTZNJMVILBO52/graph.json","events_json":"https://pith.science/api/pith-number/XZKQCV5MAIWGHSTZNJMVILBO52/events.json","paper":"https://pith.science/paper/XZKQCV5M"},"agent_actions":{"view_html":"https://pith.science/pith/XZKQCV5MAIWGHSTZNJMVILBO52","download_json":"https://pith.science/pith/XZKQCV5MAIWGHSTZNJMVILBO52.json","view_paper":"https://pith.science/paper/XZKQCV5M","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2204.09833&json=true","fetch_graph":"https://pith.science/api/pith-number/XZKQCV5MAIWGHSTZNJMVILBO52/graph.json","fetch_events":"https://pith.science/api/pith-number/XZKQCV5MAIWGHSTZNJMVILBO52/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XZKQCV5MAIWGHSTZNJMVILBO52/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XZKQCV5MAIWGHSTZNJMVILBO52/action/storage_attestation","attest_author":"https://pith.science/pith/XZKQCV5MAIWGHSTZNJMVILBO52/action/author_attestation","sign_citation":"https://pith.science/pith/XZKQCV5MAIWGHSTZNJMVILBO52/action/citation_signature","submit_replication":"https://pith.science/pith/XZKQCV5MAIWGHSTZNJMVILBO52/action/replication_record"}},"created_at":"2026-07-05T04:16:43.466560+00:00","updated_at":"2026-07-05T04:16:43.466560+00:00"}