{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:XE44TLXQSBDPURT623VQGM2T4H","short_pith_number":"pith:XE44TLXQ","canonical_record":{"source":{"id":"2109.11471","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2021-09-23T16:20:35Z","cross_cats_sorted":["cs.RO"],"title_canon_sha256":"636f4de9ac2d5c165153bc555dffa4adb0beac28b1020055dc52435630b91a0f","abstract_canon_sha256":"699c913acd19a3d3dab266f1dfc0da6d45e82f66ee9bd724302972d331dadee3"},"schema_version":"1.0"},"canonical_sha256":"b939c9aef09046fa467ed6eb033353e1dba3e367e55598e1d1ac7135e52b189d","source":{"kind":"arxiv","id":"2109.11471","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2109.11471","created_at":"2026-07-05T03:16:58Z"},{"alias_kind":"arxiv_version","alias_value":"2109.11471v1","created_at":"2026-07-05T03:16:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2109.11471","created_at":"2026-07-05T03:16:58Z"},{"alias_kind":"pith_short_12","alias_value":"XE44TLXQSBDP","created_at":"2026-07-05T03:16:58Z"},{"alias_kind":"pith_short_16","alias_value":"XE44TLXQSBDPURT6","created_at":"2026-07-05T03:16:58Z"},{"alias_kind":"pith_short_8","alias_value":"XE44TLXQ","created_at":"2026-07-05T03:16:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:XE44TLXQSBDPURT623VQGM2T4H","target":"record","payload":{"canonical_record":{"source":{"id":"2109.11471","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2021-09-23T16:20:35Z","cross_cats_sorted":["cs.RO"],"title_canon_sha256":"636f4de9ac2d5c165153bc555dffa4adb0beac28b1020055dc52435630b91a0f","abstract_canon_sha256":"699c913acd19a3d3dab266f1dfc0da6d45e82f66ee9bd724302972d331dadee3"},"schema_version":"1.0"},"canonical_sha256":"b939c9aef09046fa467ed6eb033353e1dba3e367e55598e1d1ac7135e52b189d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:16:58.352946Z","signature_b64":"Vx/HkFboAXxRxT7jq8U7J0drcPKe2AhFifEDbPmRT5eWHzDdt/zWxBeGic9DTg6pz+iTNra3F7eokiffXMiyDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b939c9aef09046fa467ed6eb033353e1dba3e367e55598e1d1ac7135e52b189d","last_reissued_at":"2026-07-05T03:16:58.352507Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:16:58.352507Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2109.11471","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T03:16:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1bMss4M/VxjgQ1+MPK4PhnkRMU6gi7B1C9BJ5VkGtPuqMXG/F2UrWv2wRu06B4PsdtISJIUePBksXMjcZowVAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T15:51:23.200649Z"},"content_sha256":"430e7bec570a3888b430ed463b0d75efeed50c38c5a90c3dce85266e88040db2","schema_version":"1.0","event_id":"sha256:430e7bec570a3888b430ed463b0d75efeed50c38c5a90c3dce85266e88040db2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:XE44TLXQSBDPURT623VQGM2T4H","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Safe-Planner: A Single-Outcome Replanner for Computing Strong Cyclic Policies in Fully Observable Non-Deterministic Domains","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.RO"],"primary_cat":"cs.AI","authors_text":"Ajay Suresha Sathya, Nikolaos Tsiogkas, Vahid Mokhtari, Wilm Decre","submitted_at":"2021-09-23T16:20:35Z","abstract_excerpt":"Replanners are efficient methods for solving non-deterministic planning problems. Despite showing good scalability, existing replanners often fail to solve problems involving a large number of misleading plans, i.e., weak plans that do not lead to strong solutions, however, due to their minimal lengths, are likely to be found at every replanning iteration. The poor performance of replanners in such problems is due to their all-outcome determinization. That is, when compiling from non-deterministic to classical, they include all compiled classical operators in a single deterministic domain whic"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2109.11471","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/2109.11471/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T03:16:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/YIXM602T75JU7nLyqxb325x33qS3gEB6T4vMaA225W8u4/gwvFhDG7WomGkauMjboDOi6Tuw5axJnux2CaOCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T15:51:23.202779Z"},"content_sha256":"53081f12d7ba24014ed294ac6a4c78f2774f7750d465962ccb181669b53f2272","schema_version":"1.0","event_id":"sha256:53081f12d7ba24014ed294ac6a4c78f2774f7750d465962ccb181669b53f2272"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XE44TLXQSBDPURT623VQGM2T4H/bundle.json","state_url":"https://pith.science/pith/XE44TLXQSBDPURT623VQGM2T4H/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XE44TLXQSBDPURT623VQGM2T4H/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-03T15:51:23Z","links":{"resolver":"https://pith.science/pith/XE44TLXQSBDPURT623VQGM2T4H","bundle":"https://pith.science/pith/XE44TLXQSBDPURT623VQGM2T4H/bundle.json","state":"https://pith.science/pith/XE44TLXQSBDPURT623VQGM2T4H/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XE44TLXQSBDPURT623VQGM2T4H/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:XE44TLXQSBDPURT623VQGM2T4H","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":"699c913acd19a3d3dab266f1dfc0da6d45e82f66ee9bd724302972d331dadee3","cross_cats_sorted":["cs.RO"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2021-09-23T16:20:35Z","title_canon_sha256":"636f4de9ac2d5c165153bc555dffa4adb0beac28b1020055dc52435630b91a0f"},"schema_version":"1.0","source":{"id":"2109.11471","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2109.11471","created_at":"2026-07-05T03:16:58Z"},{"alias_kind":"arxiv_version","alias_value":"2109.11471v1","created_at":"2026-07-05T03:16:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2109.11471","created_at":"2026-07-05T03:16:58Z"},{"alias_kind":"pith_short_12","alias_value":"XE44TLXQSBDP","created_at":"2026-07-05T03:16:58Z"},{"alias_kind":"pith_short_16","alias_value":"XE44TLXQSBDPURT6","created_at":"2026-07-05T03:16:58Z"},{"alias_kind":"pith_short_8","alias_value":"XE44TLXQ","created_at":"2026-07-05T03:16:58Z"}],"graph_snapshots":[{"event_id":"sha256:53081f12d7ba24014ed294ac6a4c78f2774f7750d465962ccb181669b53f2272","target":"graph","created_at":"2026-07-05T03:16:58Z","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/2109.11471/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Replanners are efficient methods for solving non-deterministic planning problems. Despite showing good scalability, existing replanners often fail to solve problems involving a large number of misleading plans, i.e., weak plans that do not lead to strong solutions, however, due to their minimal lengths, are likely to be found at every replanning iteration. The poor performance of replanners in such problems is due to their all-outcome determinization. That is, when compiling from non-deterministic to classical, they include all compiled classical operators in a single deterministic domain whic","authors_text":"Ajay Suresha Sathya, Nikolaos Tsiogkas, Vahid Mokhtari, Wilm Decre","cross_cats":["cs.RO"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2021-09-23T16:20:35Z","title":"Safe-Planner: A Single-Outcome Replanner for Computing Strong Cyclic Policies in Fully Observable Non-Deterministic Domains"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2109.11471","kind":"arxiv","version":1},"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:430e7bec570a3888b430ed463b0d75efeed50c38c5a90c3dce85266e88040db2","target":"record","created_at":"2026-07-05T03:16:58Z","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":"699c913acd19a3d3dab266f1dfc0da6d45e82f66ee9bd724302972d331dadee3","cross_cats_sorted":["cs.RO"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2021-09-23T16:20:35Z","title_canon_sha256":"636f4de9ac2d5c165153bc555dffa4adb0beac28b1020055dc52435630b91a0f"},"schema_version":"1.0","source":{"id":"2109.11471","kind":"arxiv","version":1}},"canonical_sha256":"b939c9aef09046fa467ed6eb033353e1dba3e367e55598e1d1ac7135e52b189d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b939c9aef09046fa467ed6eb033353e1dba3e367e55598e1d1ac7135e52b189d","first_computed_at":"2026-07-05T03:16:58.352507Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:16:58.352507Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Vx/HkFboAXxRxT7jq8U7J0drcPKe2AhFifEDbPmRT5eWHzDdt/zWxBeGic9DTg6pz+iTNra3F7eokiffXMiyDA==","signature_status":"signed_v1","signed_at":"2026-07-05T03:16:58.352946Z","signed_message":"canonical_sha256_bytes"},"source_id":"2109.11471","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:430e7bec570a3888b430ed463b0d75efeed50c38c5a90c3dce85266e88040db2","sha256:53081f12d7ba24014ed294ac6a4c78f2774f7750d465962ccb181669b53f2272"],"state_sha256":"6c69611b2bee7d4e33fd910138af45888738d3fefcda2b3b42a1d2ff5b7198a8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4ddtMmea+pIsYpT42iwJJwg/smPunTwg0Ngc2jEW8I0c4NC6S6mBTNYzJrWcLIK3nzVykqNijVYe9FgbnJowCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T15:51:23.205999Z","bundle_sha256":"a3cd07e665626559a5da8c58963bed04172bd335c5bb569c886cb258ce9f96ee"}}