{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:32A2BL3TYRIKJFB6234Y7LXRQI","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":"efd54aef21f246ca53665d3b9811ce87735f9099d928b6cc4fef2eebac3982e5","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2023-05-09T14:33:20Z","title_canon_sha256":"fc7cd30eaae6c9be85d7865211cabafcf97e44632bc1e6241c091b151981e76d"},"schema_version":"1.0","source":{"id":"2305.05485","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.05485","created_at":"2026-07-05T06:56:21Z"},{"alias_kind":"arxiv_version","alias_value":"2305.05485v2","created_at":"2026-07-05T06:56:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.05485","created_at":"2026-07-05T06:56:21Z"},{"alias_kind":"pith_short_12","alias_value":"32A2BL3TYRIK","created_at":"2026-07-05T06:56:21Z"},{"alias_kind":"pith_short_16","alias_value":"32A2BL3TYRIKJFB6","created_at":"2026-07-05T06:56:21Z"},{"alias_kind":"pith_short_8","alias_value":"32A2BL3T","created_at":"2026-07-05T06:56:21Z"}],"graph_snapshots":[{"event_id":"sha256:845c105382568c91dc651229c91919a79e704ff21f285fa1c851fde64dc35134","target":"graph","created_at":"2026-07-05T06:56:21Z","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/2305.05485/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Several task and motion planning algorithms have been proposed recently to design paths for mobile robot teams with collaborative high-level missions specified using formal languages, such as Linear Temporal Logic (LTL). However, the designed paths often lack reactivity to failures of robot capabilities (e.g., sensing, mobility, or manipulation) that can occur due to unanticipated events (e.g., human intervention or system malfunctioning) which in turn may compromise mission performance. To address this novel challenge, in this paper, we propose a new resilient mission planning algorithm for t","authors_text":"George J. Pappas, Samarth Kalluraya, Yiannis Kantaros","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2023-05-09T14:33:20Z","title":"Resilient Temporal Logic Planning in the Presence of Robot Failures"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.05485","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:75b46157c9067f8e85c37d38a4a4dae7d685b2db18b65d8bd103babdc3cd035a","target":"record","created_at":"2026-07-05T06:56:21Z","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":"efd54aef21f246ca53665d3b9811ce87735f9099d928b6cc4fef2eebac3982e5","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2023-05-09T14:33:20Z","title_canon_sha256":"fc7cd30eaae6c9be85d7865211cabafcf97e44632bc1e6241c091b151981e76d"},"schema_version":"1.0","source":{"id":"2305.05485","kind":"arxiv","version":2}},"canonical_sha256":"de81a0af73c450a4943ed6f98faef18221aa93d17871d8ee7d1da3a698389e5a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"de81a0af73c450a4943ed6f98faef18221aa93d17871d8ee7d1da3a698389e5a","first_computed_at":"2026-07-05T06:56:21.659696Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:56:21.659696Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3k3GyHcQTzmnfxHlRXtkclAIbfIH9P1YfX+UYb0tvdByeJq5P6cQ+X7QCJ4l776aXWKr5tkkacDueccfceMUBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T06:56:21.660155Z","signed_message":"canonical_sha256_bytes"},"source_id":"2305.05485","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:75b46157c9067f8e85c37d38a4a4dae7d685b2db18b65d8bd103babdc3cd035a","sha256:845c105382568c91dc651229c91919a79e704ff21f285fa1c851fde64dc35134"],"state_sha256":"c86535dd251ebc096b2acfa355324fd87f5468769708127b5b0394fa9f129a42"}