{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:YMCBW4JVTN5FMBR7SOKFEJURT5","short_pith_number":"pith:YMCBW4JV","schema_version":"1.0","canonical_sha256":"c3041b71359b7a56063f93945226919f5837202d65b0f4fc1a5cc41d23a91008","source":{"kind":"arxiv","id":"2204.07846","version":1},"attestation_state":"computed","paper":{"title":"On Safety Testing, Validation, and Characterization with Scenario-Sampling: A Case Study of Legged Robots","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.RO","authors_text":"Ayonga Hereid, Bowen Weng, Guillermo A. Castillo, Wei Zhang","submitted_at":"2022-04-16T17:27:50Z","abstract_excerpt":"The dynamic response of the legged robot locomotion is non-Lipschitz and can be stochastic due to environmental uncertainties. To test, validate, and characterize the safety performance of legged robots, existing solutions on observed and inferred risk can be incomplete and sampling inefficient. Some formal verification methods suffer from the model precision and other surrogate assumptions. In this paper, we propose a scenario sampling based testing framework that characterizes the overall safety performance of a legged robot by specifying (i) where (in terms of a set of states) the robot is "},"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.07846","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2022-04-16T17:27:50Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"a10e096048b4080fdaf110886727c05b80288937ce06d5388f6e3a90d908d12e","abstract_canon_sha256":"5914578a62014784cf2d0038e1b2ab0dc66d6573588625317491432a5c6aa5ff"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:32:21.474192Z","signature_b64":"zBAskXdVG4T12kzTGpamUn9G1FS6Kx9Nn2uLCs7mHoD//mKki5TwiV0a8LpZhU1wBRmh6wk8tSfCW5fn9hcdDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c3041b71359b7a56063f93945226919f5837202d65b0f4fc1a5cc41d23a91008","last_reissued_at":"2026-07-05T05:32:21.473751Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:32:21.473751Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On Safety Testing, Validation, and Characterization with Scenario-Sampling: A Case Study of Legged Robots","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.RO","authors_text":"Ayonga Hereid, Bowen Weng, Guillermo A. Castillo, Wei Zhang","submitted_at":"2022-04-16T17:27:50Z","abstract_excerpt":"The dynamic response of the legged robot locomotion is non-Lipschitz and can be stochastic due to environmental uncertainties. To test, validate, and characterize the safety performance of legged robots, existing solutions on observed and inferred risk can be incomplete and sampling inefficient. Some formal verification methods suffer from the model precision and other surrogate assumptions. In this paper, we propose a scenario sampling based testing framework that characterizes the overall safety performance of a legged robot by specifying (i) where (in terms of a set of states) the robot is "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2204.07846","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.07846/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.07846","created_at":"2026-07-05T05:32:21.473809+00:00"},{"alias_kind":"arxiv_version","alias_value":"2204.07846v1","created_at":"2026-07-05T05:32:21.473809+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2204.07846","created_at":"2026-07-05T05:32:21.473809+00:00"},{"alias_kind":"pith_short_12","alias_value":"YMCBW4JVTN5F","created_at":"2026-07-05T05:32:21.473809+00:00"},{"alias_kind":"pith_short_16","alias_value":"YMCBW4JVTN5FMBR7","created_at":"2026-07-05T05:32:21.473809+00:00"},{"alias_kind":"pith_short_8","alias_value":"YMCBW4JV","created_at":"2026-07-05T05:32:21.473809+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/YMCBW4JVTN5FMBR7SOKFEJURT5","json":"https://pith.science/pith/YMCBW4JVTN5FMBR7SOKFEJURT5.json","graph_json":"https://pith.science/api/pith-number/YMCBW4JVTN5FMBR7SOKFEJURT5/graph.json","events_json":"https://pith.science/api/pith-number/YMCBW4JVTN5FMBR7SOKFEJURT5/events.json","paper":"https://pith.science/paper/YMCBW4JV"},"agent_actions":{"view_html":"https://pith.science/pith/YMCBW4JVTN5FMBR7SOKFEJURT5","download_json":"https://pith.science/pith/YMCBW4JVTN5FMBR7SOKFEJURT5.json","view_paper":"https://pith.science/paper/YMCBW4JV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2204.07846&json=true","fetch_graph":"https://pith.science/api/pith-number/YMCBW4JVTN5FMBR7SOKFEJURT5/graph.json","fetch_events":"https://pith.science/api/pith-number/YMCBW4JVTN5FMBR7SOKFEJURT5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YMCBW4JVTN5FMBR7SOKFEJURT5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YMCBW4JVTN5FMBR7SOKFEJURT5/action/storage_attestation","attest_author":"https://pith.science/pith/YMCBW4JVTN5FMBR7SOKFEJURT5/action/author_attestation","sign_citation":"https://pith.science/pith/YMCBW4JVTN5FMBR7SOKFEJURT5/action/citation_signature","submit_replication":"https://pith.science/pith/YMCBW4JVTN5FMBR7SOKFEJURT5/action/replication_record"}},"created_at":"2026-07-05T05:32:21.473809+00:00","updated_at":"2026-07-05T05:32:21.473809+00:00"}