{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:ZKFMB2W4PEBGFE6EQ5P5TW2CHK","short_pith_number":"pith:ZKFMB2W4","canonical_record":{"source":{"id":"2409.13195","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-09-20T03:55:47Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"3090298bd4408a47787ab9e73f70fce80f6b8e165763bcc5198d1d110ab415ff","abstract_canon_sha256":"6543bf21530903b6a8fd30a66411ce361881037bbbc7b8212f0a0ef2f721236b"},"schema_version":"1.0"},"canonical_sha256":"ca8ac0eadc79026293c4875fd9db423a99782d72fe3a7a55e0a63e86f62201de","source":{"kind":"arxiv","id":"2409.13195","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.13195","created_at":"2026-07-05T10:22:50Z"},{"alias_kind":"arxiv_version","alias_value":"2409.13195v2","created_at":"2026-07-05T10:22:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.13195","created_at":"2026-07-05T10:22:50Z"},{"alias_kind":"pith_short_12","alias_value":"ZKFMB2W4PEBG","created_at":"2026-07-05T10:22:50Z"},{"alias_kind":"pith_short_16","alias_value":"ZKFMB2W4PEBGFE6E","created_at":"2026-07-05T10:22:50Z"},{"alias_kind":"pith_short_8","alias_value":"ZKFMB2W4","created_at":"2026-07-05T10:22:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:ZKFMB2W4PEBGFE6EQ5P5TW2CHK","target":"record","payload":{"canonical_record":{"source":{"id":"2409.13195","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-09-20T03:55:47Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"3090298bd4408a47787ab9e73f70fce80f6b8e165763bcc5198d1d110ab415ff","abstract_canon_sha256":"6543bf21530903b6a8fd30a66411ce361881037bbbc7b8212f0a0ef2f721236b"},"schema_version":"1.0"},"canonical_sha256":"ca8ac0eadc79026293c4875fd9db423a99782d72fe3a7a55e0a63e86f62201de","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:22:50.047226Z","signature_b64":"zNHNJxwiPEgVWGnYtaGFPcwMFiyxAiijvLdiwRDtPob8L+aIsnWGw9QAikN2MXxQM4r9NmH8cnYQorxFS6IsAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ca8ac0eadc79026293c4875fd9db423a99782d72fe3a7a55e0a63e86f62201de","last_reissued_at":"2026-07-05T10:22:50.046552Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:22:50.046552Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2409.13195","source_version":2,"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-05T10:22:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HLP8FAW3oxq9vkY8Gzv3BsEo5kEW81/U9qhuyMQuQK26ZBfSIJzFbFV3wirTN5CN6psHn848EEduDiCBOV6LAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T15:36:32.265176Z"},"content_sha256":"3ac14d6ebfad0c63134ca70d745d7964f95b1087adc230787840469d66bf7be9","schema_version":"1.0","event_id":"sha256:3ac14d6ebfad0c63134ca70d745d7964f95b1087adc230787840469d66bf7be9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:ZKFMB2W4PEBGFE6EQ5P5TW2CHK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Guaranteed Reach-Avoid for Black-Box Systems through Narrow Gaps via Neural Network Reachability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.RO","authors_text":"C\\'edric Pradalier, Long Kiu Chung, Luis Felipe Wolf Batista, Parth Shinde, Saihari Kota, Shreyas Kousik, Srivatsank Pullabhotla, Wonsuhk Jung, Yadu Sunil","submitted_at":"2024-09-20T03:55:47Z","abstract_excerpt":"In the classical reach-avoid problem, autonomous mobile robots are tasked to reach a goal while avoiding obstacles. However, it is difficult to provide guarantees on the robot's performance when the obstacles form a narrow gap and the robot is a black-box (i.e. the dynamics are not known analytically, but interacting with the system is cheap). To address this challenge, this paper presents NeuralPARC. The method extends the authors' prior Piecewise Affine Reach-avoid Computation (PARC) method to systems modeled by rectified linear unit (ReLU) neural networks, which are trained to represent par"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.13195","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/2409.13195/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-05T10:22:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0xZlC2OKagve2Zpv4gvJnotixQIdaeumxRORcWgq1EEElrPLIJynOTR8X+QyD4CHLekLML1ifEIboYKxzjUyDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T15:36:32.265577Z"},"content_sha256":"a6194804b6bde7706fdedff4f42fda4f8495b5d1ec0e5f8afb8c88b534ae1d6a","schema_version":"1.0","event_id":"sha256:a6194804b6bde7706fdedff4f42fda4f8495b5d1ec0e5f8afb8c88b534ae1d6a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZKFMB2W4PEBGFE6EQ5P5TW2CHK/bundle.json","state_url":"https://pith.science/pith/ZKFMB2W4PEBGFE6EQ5P5TW2CHK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZKFMB2W4PEBGFE6EQ5P5TW2CHK/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:36:32Z","links":{"resolver":"https://pith.science/pith/ZKFMB2W4PEBGFE6EQ5P5TW2CHK","bundle":"https://pith.science/pith/ZKFMB2W4PEBGFE6EQ5P5TW2CHK/bundle.json","state":"https://pith.science/pith/ZKFMB2W4PEBGFE6EQ5P5TW2CHK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZKFMB2W4PEBGFE6EQ5P5TW2CHK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:ZKFMB2W4PEBGFE6EQ5P5TW2CHK","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":"6543bf21530903b6a8fd30a66411ce361881037bbbc7b8212f0a0ef2f721236b","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-09-20T03:55:47Z","title_canon_sha256":"3090298bd4408a47787ab9e73f70fce80f6b8e165763bcc5198d1d110ab415ff"},"schema_version":"1.0","source":{"id":"2409.13195","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.13195","created_at":"2026-07-05T10:22:50Z"},{"alias_kind":"arxiv_version","alias_value":"2409.13195v2","created_at":"2026-07-05T10:22:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.13195","created_at":"2026-07-05T10:22:50Z"},{"alias_kind":"pith_short_12","alias_value":"ZKFMB2W4PEBG","created_at":"2026-07-05T10:22:50Z"},{"alias_kind":"pith_short_16","alias_value":"ZKFMB2W4PEBGFE6E","created_at":"2026-07-05T10:22:50Z"},{"alias_kind":"pith_short_8","alias_value":"ZKFMB2W4","created_at":"2026-07-05T10:22:50Z"}],"graph_snapshots":[{"event_id":"sha256:a6194804b6bde7706fdedff4f42fda4f8495b5d1ec0e5f8afb8c88b534ae1d6a","target":"graph","created_at":"2026-07-05T10:22:50Z","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/2409.13195/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In the classical reach-avoid problem, autonomous mobile robots are tasked to reach a goal while avoiding obstacles. However, it is difficult to provide guarantees on the robot's performance when the obstacles form a narrow gap and the robot is a black-box (i.e. the dynamics are not known analytically, but interacting with the system is cheap). To address this challenge, this paper presents NeuralPARC. The method extends the authors' prior Piecewise Affine Reach-avoid Computation (PARC) method to systems modeled by rectified linear unit (ReLU) neural networks, which are trained to represent par","authors_text":"C\\'edric Pradalier, Long Kiu Chung, Luis Felipe Wolf Batista, Parth Shinde, Saihari Kota, Shreyas Kousik, Srivatsank Pullabhotla, Wonsuhk Jung, Yadu Sunil","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-09-20T03:55:47Z","title":"Guaranteed Reach-Avoid for Black-Box Systems through Narrow Gaps via Neural Network Reachability"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.13195","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:3ac14d6ebfad0c63134ca70d745d7964f95b1087adc230787840469d66bf7be9","target":"record","created_at":"2026-07-05T10:22:50Z","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":"6543bf21530903b6a8fd30a66411ce361881037bbbc7b8212f0a0ef2f721236b","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-09-20T03:55:47Z","title_canon_sha256":"3090298bd4408a47787ab9e73f70fce80f6b8e165763bcc5198d1d110ab415ff"},"schema_version":"1.0","source":{"id":"2409.13195","kind":"arxiv","version":2}},"canonical_sha256":"ca8ac0eadc79026293c4875fd9db423a99782d72fe3a7a55e0a63e86f62201de","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ca8ac0eadc79026293c4875fd9db423a99782d72fe3a7a55e0a63e86f62201de","first_computed_at":"2026-07-05T10:22:50.046552Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:22:50.046552Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zNHNJxwiPEgVWGnYtaGFPcwMFiyxAiijvLdiwRDtPob8L+aIsnWGw9QAikN2MXxQM4r9NmH8cnYQorxFS6IsAA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:22:50.047226Z","signed_message":"canonical_sha256_bytes"},"source_id":"2409.13195","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3ac14d6ebfad0c63134ca70d745d7964f95b1087adc230787840469d66bf7be9","sha256:a6194804b6bde7706fdedff4f42fda4f8495b5d1ec0e5f8afb8c88b534ae1d6a"],"state_sha256":"420db189375913e78961448cc000b2a64c142b34ab041bc3d51b84e62feb3f75"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w9w0noCA4TFnJzo545rENR7nhznP17EZHmtfdWF5odUiGew6WljyWdiKH593mMsQPfUG21TlKBIR2itKRqKGAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T15:36:32.268588Z","bundle_sha256":"140e7c7734b798d960e2ee9fb9a015a8b1b733d600ce850cb444413461a87907"}}