{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:LN3M35OVYD666BMHZRQRVECGKZ","short_pith_number":"pith:LN3M35OV","canonical_record":{"source":{"id":"2209.14076","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-09-28T13:17:28Z","cross_cats_sorted":["cs.LG","cs.RO","cs.SY"],"title_canon_sha256":"68707cb43a9b35b2a7241c674dedcd6f6ac8d4ee7222b89c6bca5ef723b6cf13","abstract_canon_sha256":"4439d53b244cae899b8387868feaf2912d10df27fa1d8ffba776f7402259e60b"},"schema_version":"1.0"},"canonical_sha256":"5b76cdf5d5c0fdef0587cc611a90465664b2f13e4096f26409ef4d9f5b5b87aa","source":{"kind":"arxiv","id":"2209.14076","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2209.14076","created_at":"2026-07-05T05:17:47Z"},{"alias_kind":"arxiv_version","alias_value":"2209.14076v2","created_at":"2026-07-05T05:17:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2209.14076","created_at":"2026-07-05T05:17:47Z"},{"alias_kind":"pith_short_12","alias_value":"LN3M35OVYD66","created_at":"2026-07-05T05:17:47Z"},{"alias_kind":"pith_short_16","alias_value":"LN3M35OVYD666BMH","created_at":"2026-07-05T05:17:47Z"},{"alias_kind":"pith_short_8","alias_value":"LN3M35OV","created_at":"2026-07-05T05:17:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:LN3M35OVYD666BMHZRQRVECGKZ","target":"record","payload":{"canonical_record":{"source":{"id":"2209.14076","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-09-28T13:17:28Z","cross_cats_sorted":["cs.LG","cs.RO","cs.SY"],"title_canon_sha256":"68707cb43a9b35b2a7241c674dedcd6f6ac8d4ee7222b89c6bca5ef723b6cf13","abstract_canon_sha256":"4439d53b244cae899b8387868feaf2912d10df27fa1d8ffba776f7402259e60b"},"schema_version":"1.0"},"canonical_sha256":"5b76cdf5d5c0fdef0587cc611a90465664b2f13e4096f26409ef4d9f5b5b87aa","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:17:47.735500Z","signature_b64":"WivUPF1mGI0XZ5fnol1Ciwf1ZqzAzLE2Vcp8XIWksRl4gO24PMx20nf/RnWIMKYA/LlCDscEQ1GD795kAgkzDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5b76cdf5d5c0fdef0587cc611a90465664b2f13e4096f26409ef4d9f5b5b87aa","last_reissued_at":"2026-07-05T05:17:47.735037Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:17:47.735037Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2209.14076","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-05T05:17:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2wJXxIt0ChKFXRUNv5vBEoWjm3bNcW5nZd0pxUHhwwi+Pxng2q0pHVthVJKHkIyLsgM5mXx7wLwh6TizvmB5Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T16:13:34.119121Z"},"content_sha256":"86a752fadb0284646dfceaf1aa96749ac29d5aa4aa04882cfb5979282e3d7382","schema_version":"1.0","event_id":"sha256:86a752fadb0284646dfceaf1aa96749ac29d5aa4aa04882cfb5979282e3d7382"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:LN3M35OVYD666BMHZRQRVECGKZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.RO","cs.SY"],"primary_cat":"eess.SY","authors_text":"Chelsea Sidrane, Esen Yel, Jonathan P. How, Michael Everett, Mykel J. Kochenderfer, Nicholas Rober, Sydney M. Katz","submitted_at":"2022-09-28T13:17:28Z","abstract_excerpt":"As neural networks (NNs) become more prevalent in safety-critical applications such as control of vehicles, there is a growing need to certify that systems with NN components are safe. This paper presents a set of backward reachability approaches for safety certification of neural feedback loops (NFLs), i.e., closed-loop systems with NN control policies. While backward reachability strategies have been developed for systems without NN components, the nonlinearities in NN activation functions and general noninvertibility of NN weight matrices make backward reachability for NFLs a challenging pr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2209.14076","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/2209.14076/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-05T05:17:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oeKmvXBaxy3sbPxXe+zfgQqDaan2wufZNB/Q78EQxbecW5jpCuR5nRAOWIJGkQykgIX8Q+oOUhmJVakVnrJMDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T16:13:34.119900Z"},"content_sha256":"c2a9ee145bec5692f6377270b3ad91e059fc7f30b00cce0a151380ce0c2783e8","schema_version":"1.0","event_id":"sha256:c2a9ee145bec5692f6377270b3ad91e059fc7f30b00cce0a151380ce0c2783e8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LN3M35OVYD666BMHZRQRVECGKZ/bundle.json","state_url":"https://pith.science/pith/LN3M35OVYD666BMHZRQRVECGKZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LN3M35OVYD666BMHZRQRVECGKZ/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-13T16:13:34Z","links":{"resolver":"https://pith.science/pith/LN3M35OVYD666BMHZRQRVECGKZ","bundle":"https://pith.science/pith/LN3M35OVYD666BMHZRQRVECGKZ/bundle.json","state":"https://pith.science/pith/LN3M35OVYD666BMHZRQRVECGKZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LN3M35OVYD666BMHZRQRVECGKZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:LN3M35OVYD666BMHZRQRVECGKZ","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":"4439d53b244cae899b8387868feaf2912d10df27fa1d8ffba776f7402259e60b","cross_cats_sorted":["cs.LG","cs.RO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-09-28T13:17:28Z","title_canon_sha256":"68707cb43a9b35b2a7241c674dedcd6f6ac8d4ee7222b89c6bca5ef723b6cf13"},"schema_version":"1.0","source":{"id":"2209.14076","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2209.14076","created_at":"2026-07-05T05:17:47Z"},{"alias_kind":"arxiv_version","alias_value":"2209.14076v2","created_at":"2026-07-05T05:17:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2209.14076","created_at":"2026-07-05T05:17:47Z"},{"alias_kind":"pith_short_12","alias_value":"LN3M35OVYD66","created_at":"2026-07-05T05:17:47Z"},{"alias_kind":"pith_short_16","alias_value":"LN3M35OVYD666BMH","created_at":"2026-07-05T05:17:47Z"},{"alias_kind":"pith_short_8","alias_value":"LN3M35OV","created_at":"2026-07-05T05:17:47Z"}],"graph_snapshots":[{"event_id":"sha256:c2a9ee145bec5692f6377270b3ad91e059fc7f30b00cce0a151380ce0c2783e8","target":"graph","created_at":"2026-07-05T05:17:47Z","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/2209.14076/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"As neural networks (NNs) become more prevalent in safety-critical applications such as control of vehicles, there is a growing need to certify that systems with NN components are safe. This paper presents a set of backward reachability approaches for safety certification of neural feedback loops (NFLs), i.e., closed-loop systems with NN control policies. While backward reachability strategies have been developed for systems without NN components, the nonlinearities in NN activation functions and general noninvertibility of NN weight matrices make backward reachability for NFLs a challenging pr","authors_text":"Chelsea Sidrane, Esen Yel, Jonathan P. How, Michael Everett, Mykel J. Kochenderfer, Nicholas Rober, Sydney M. Katz","cross_cats":["cs.LG","cs.RO","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-09-28T13:17:28Z","title":"Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2209.14076","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:86a752fadb0284646dfceaf1aa96749ac29d5aa4aa04882cfb5979282e3d7382","target":"record","created_at":"2026-07-05T05:17:47Z","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":"4439d53b244cae899b8387868feaf2912d10df27fa1d8ffba776f7402259e60b","cross_cats_sorted":["cs.LG","cs.RO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-09-28T13:17:28Z","title_canon_sha256":"68707cb43a9b35b2a7241c674dedcd6f6ac8d4ee7222b89c6bca5ef723b6cf13"},"schema_version":"1.0","source":{"id":"2209.14076","kind":"arxiv","version":2}},"canonical_sha256":"5b76cdf5d5c0fdef0587cc611a90465664b2f13e4096f26409ef4d9f5b5b87aa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5b76cdf5d5c0fdef0587cc611a90465664b2f13e4096f26409ef4d9f5b5b87aa","first_computed_at":"2026-07-05T05:17:47.735037Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:17:47.735037Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WivUPF1mGI0XZ5fnol1Ciwf1ZqzAzLE2Vcp8XIWksRl4gO24PMx20nf/RnWIMKYA/LlCDscEQ1GD795kAgkzDA==","signature_status":"signed_v1","signed_at":"2026-07-05T05:17:47.735500Z","signed_message":"canonical_sha256_bytes"},"source_id":"2209.14076","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:86a752fadb0284646dfceaf1aa96749ac29d5aa4aa04882cfb5979282e3d7382","sha256:c2a9ee145bec5692f6377270b3ad91e059fc7f30b00cce0a151380ce0c2783e8"],"state_sha256":"448898d1ca4ba5a1fbbc15363ff8b769f52ae48bf4cf9b732d7d73998e8a39c9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7X9NVLLAyO6kBv60W6hfcqLTiaSoWM1YIxHalzvPRm3rFxQlAymEuWC5BFNKMkjxcNDJukrOVwgJun98wwStAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-13T16:13:34.126873Z","bundle_sha256":"e9326bccf6cb2d5f993291576ce9254b97aa8b44a0145aaea7c5374be4d69f79"}}