{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:KCPNKIL2QV6UCPDJK4L3SVR2TG","short_pith_number":"pith:KCPNKIL2","schema_version":"1.0","canonical_sha256":"509ed5217a857d413c695717b9563a99abf147486863d3f9a3a5b35c2e2dc1ec","source":{"kind":"arxiv","id":"2302.02885","version":2},"attestation_state":"computed","paper":{"title":"Run Time Assurance for Autonomous Spacecraft Inspection","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"David van Wijk, Kerianne L. Hobbs, Kyle Dunlap","submitted_at":"2023-02-06T15:52:43Z","abstract_excerpt":"As autonomous systems become more prevalent in the real world, it is critical to ensure they operate safely. One approach is the use of Run Time Assurance (RTA), which is a real-time safety assurance technique that monitors a primary controller and intervenes to assure safety when necessary. As these autonomous systems become more complex, RTA is useful because it can be designed completely independent of the primary controller. This paper develops several translational motion safety constraints for a multi-agent autonomous spacecraft inspection problem, where all of these constraints can be e"},"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":"2302.02885","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2023-02-06T15:52:43Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"9b7a8d51605165450e03c175f06b9a86c28af8df4e0443d8b6ca106b44f852c0","abstract_canon_sha256":"59e85be2c9a0d1bb45183c840af0af444310204f339cb59ee7005b4cc328f776"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:37:54.962262Z","signature_b64":"nNl97mnxUwaa29+7mlOAhGYKUc5TL/ePcYW1U4sKF9Y+p8tNFUx+Ahm4EDqejkwM3yuwgaTnIp0Af5t98qX6AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"509ed5217a857d413c695717b9563a99abf147486863d3f9a3a5b35c2e2dc1ec","last_reissued_at":"2026-07-05T06:37:54.961709Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:37:54.961709Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Run Time Assurance for Autonomous Spacecraft Inspection","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"David van Wijk, Kerianne L. Hobbs, Kyle Dunlap","submitted_at":"2023-02-06T15:52:43Z","abstract_excerpt":"As autonomous systems become more prevalent in the real world, it is critical to ensure they operate safely. One approach is the use of Run Time Assurance (RTA), which is a real-time safety assurance technique that monitors a primary controller and intervenes to assure safety when necessary. As these autonomous systems become more complex, RTA is useful because it can be designed completely independent of the primary controller. This paper develops several translational motion safety constraints for a multi-agent autonomous spacecraft inspection problem, where all of these constraints can be e"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2302.02885","kind":"arxiv","version":2},"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/2302.02885/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":"2302.02885","created_at":"2026-07-05T06:37:54.961776+00:00"},{"alias_kind":"arxiv_version","alias_value":"2302.02885v2","created_at":"2026-07-05T06:37:54.961776+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.02885","created_at":"2026-07-05T06:37:54.961776+00:00"},{"alias_kind":"pith_short_12","alias_value":"KCPNKIL2QV6U","created_at":"2026-07-05T06:37:54.961776+00:00"},{"alias_kind":"pith_short_16","alias_value":"KCPNKIL2QV6UCPDJ","created_at":"2026-07-05T06:37:54.961776+00:00"},{"alias_kind":"pith_short_8","alias_value":"KCPNKIL2","created_at":"2026-07-05T06:37:54.961776+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/KCPNKIL2QV6UCPDJK4L3SVR2TG","json":"https://pith.science/pith/KCPNKIL2QV6UCPDJK4L3SVR2TG.json","graph_json":"https://pith.science/api/pith-number/KCPNKIL2QV6UCPDJK4L3SVR2TG/graph.json","events_json":"https://pith.science/api/pith-number/KCPNKIL2QV6UCPDJK4L3SVR2TG/events.json","paper":"https://pith.science/paper/KCPNKIL2"},"agent_actions":{"view_html":"https://pith.science/pith/KCPNKIL2QV6UCPDJK4L3SVR2TG","download_json":"https://pith.science/pith/KCPNKIL2QV6UCPDJK4L3SVR2TG.json","view_paper":"https://pith.science/paper/KCPNKIL2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2302.02885&json=true","fetch_graph":"https://pith.science/api/pith-number/KCPNKIL2QV6UCPDJK4L3SVR2TG/graph.json","fetch_events":"https://pith.science/api/pith-number/KCPNKIL2QV6UCPDJK4L3SVR2TG/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KCPNKIL2QV6UCPDJK4L3SVR2TG/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KCPNKIL2QV6UCPDJK4L3SVR2TG/action/storage_attestation","attest_author":"https://pith.science/pith/KCPNKIL2QV6UCPDJK4L3SVR2TG/action/author_attestation","sign_citation":"https://pith.science/pith/KCPNKIL2QV6UCPDJK4L3SVR2TG/action/citation_signature","submit_replication":"https://pith.science/pith/KCPNKIL2QV6UCPDJK4L3SVR2TG/action/replication_record"}},"created_at":"2026-07-05T06:37:54.961776+00:00","updated_at":"2026-07-05T06:37:54.961776+00:00"}