{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:HZW6D7VA4OSSEKCGNCRLVLMIWX","short_pith_number":"pith:HZW6D7VA","schema_version":"1.0","canonical_sha256":"3e6de1fea0e3a522284668a2baad88b5cd6767fd4350d4366864d401fa164aa3","source":{"kind":"arxiv","id":"2608.00792","version":1},"attestation_state":"computed","paper":{"title":"StochSIPP: Safe Interval Path Planning in Stochastic Dynamic Environments","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Ajith Kemisetti, Shahaf S. Shperberg, Yoonchang Sung","submitted_at":"2026-08-01T17:49:37Z","abstract_excerpt":"Safe navigation under uncertain time-dependent blockage requires anticipating observations before committing to motion. We present StochSIPP, an exact contingent planner for temporal roadmaps with uncertain edge and vertex statuses revealed locally during execution. StochSIPP uses SIPP to generate certified-safe macro-actions that terminate at the next observation or the goal, and bounded AND/OR search over a cached action--observation graph to select actions for every reachable observation outcome. Optimistic and robust SIPP relaxations provide admissible lower and upper bounds for bounded AN"},"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":"2608.00792","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2026-08-01T17:49:37Z","cross_cats_sorted":[],"title_canon_sha256":"504474e958e700c41d21b2cb7ccb7634892f9f7fe357509be8e4a1cf75ed7dd6","abstract_canon_sha256":"c4937e1a4789bf51cdc8c64e7b593590e913429e6853259b7ffabc895a7abdb6"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-04T01:55:09.412150Z","signature_b64":"586VNSCscmr4x3s/l6H0IywR/UtbqfKJihTIbQbiptx4raxYJiZyoVEg/K+uxXFjnUHh0V0r1SO8RPclqg2QDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3e6de1fea0e3a522284668a2baad88b5cd6767fd4350d4366864d401fa164aa3","last_reissued_at":"2026-08-04T01:55:09.410581Z","signature_status":"signed_v1","first_computed_at":"2026-08-04T01:55:09.410581Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"StochSIPP: Safe Interval Path Planning in Stochastic Dynamic Environments","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Ajith Kemisetti, Shahaf S. Shperberg, Yoonchang Sung","submitted_at":"2026-08-01T17:49:37Z","abstract_excerpt":"Safe navigation under uncertain time-dependent blockage requires anticipating observations before committing to motion. We present StochSIPP, an exact contingent planner for temporal roadmaps with uncertain edge and vertex statuses revealed locally during execution. StochSIPP uses SIPP to generate certified-safe macro-actions that terminate at the next observation or the goal, and bounded AND/OR search over a cached action--observation graph to select actions for every reachable observation outcome. Optimistic and robust SIPP relaxations provide admissible lower and upper bounds for bounded AN"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.00792","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/2608.00792/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":"2608.00792","created_at":"2026-08-04T01:55:09.411948+00:00"},{"alias_kind":"arxiv_version","alias_value":"2608.00792v1","created_at":"2026-08-04T01:55:09.411948+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.00792","created_at":"2026-08-04T01:55:09.411948+00:00"},{"alias_kind":"pith_short_12","alias_value":"HZW6D7VA4OSS","created_at":"2026-08-04T01:55:09.411948+00:00"},{"alias_kind":"pith_short_16","alias_value":"HZW6D7VA4OSSEKCG","created_at":"2026-08-04T01:55:09.411948+00:00"},{"alias_kind":"pith_short_8","alias_value":"HZW6D7VA","created_at":"2026-08-04T01:55:09.411948+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/HZW6D7VA4OSSEKCGNCRLVLMIWX","json":"https://pith.science/pith/HZW6D7VA4OSSEKCGNCRLVLMIWX.json","graph_json":"https://pith.science/api/pith-number/HZW6D7VA4OSSEKCGNCRLVLMIWX/graph.json","events_json":"https://pith.science/api/pith-number/HZW6D7VA4OSSEKCGNCRLVLMIWX/events.json","paper":"https://pith.science/paper/HZW6D7VA"},"agent_actions":{"view_html":"https://pith.science/pith/HZW6D7VA4OSSEKCGNCRLVLMIWX","download_json":"https://pith.science/pith/HZW6D7VA4OSSEKCGNCRLVLMIWX.json","view_paper":"https://pith.science/paper/HZW6D7VA","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2608.00792&json=true","fetch_graph":"https://pith.science/api/pith-number/HZW6D7VA4OSSEKCGNCRLVLMIWX/graph.json","fetch_events":"https://pith.science/api/pith-number/HZW6D7VA4OSSEKCGNCRLVLMIWX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/HZW6D7VA4OSSEKCGNCRLVLMIWX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/HZW6D7VA4OSSEKCGNCRLVLMIWX/action/storage_attestation","attest_author":"https://pith.science/pith/HZW6D7VA4OSSEKCGNCRLVLMIWX/action/author_attestation","sign_citation":"https://pith.science/pith/HZW6D7VA4OSSEKCGNCRLVLMIWX/action/citation_signature","submit_replication":"https://pith.science/pith/HZW6D7VA4OSSEKCGNCRLVLMIWX/action/replication_record"}},"created_at":"2026-08-04T01:55:09.411948+00:00","updated_at":"2026-08-04T01:55:09.411948+00:00"}