{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:3IU4HJINRBP3JEGN7AQGXVU757","short_pith_number":"pith:3IU4HJIN","canonical_record":{"source":{"id":"1903.00762","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2019-03-02T20:42:51Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"3bd2cb031d82d0ffcd44e12a340dbe9b5a2382df2766b8f8eb38bf195305395c","abstract_canon_sha256":"118d5f72dece254ae0bb94da7ef3bd42b0b2c9df4e4f48130ef13d357bdd1181"},"schema_version":"1.0"},"canonical_sha256":"da29c3a50d885fb490cdf8206bd69fefe1184b942c5fdc862d3555b7277600c2","source":{"kind":"arxiv","id":"1903.00762","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.00762","created_at":"2026-05-17T23:52:13Z"},{"alias_kind":"arxiv_version","alias_value":"1903.00762v1","created_at":"2026-05-17T23:52:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.00762","created_at":"2026-05-17T23:52:13Z"},{"alias_kind":"pith_short_12","alias_value":"3IU4HJINRBP3","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"3IU4HJINRBP3JEGN","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"3IU4HJIN","created_at":"2026-05-18T12:33:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:3IU4HJINRBP3JEGN7AQGXVU757","target":"record","payload":{"canonical_record":{"source":{"id":"1903.00762","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2019-03-02T20:42:51Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"3bd2cb031d82d0ffcd44e12a340dbe9b5a2382df2766b8f8eb38bf195305395c","abstract_canon_sha256":"118d5f72dece254ae0bb94da7ef3bd42b0b2c9df4e4f48130ef13d357bdd1181"},"schema_version":"1.0"},"canonical_sha256":"da29c3a50d885fb490cdf8206bd69fefe1184b942c5fdc862d3555b7277600c2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:52:13.352385Z","signature_b64":"KEEzoDotwfNqZc+rkoq1WhI72i6CbPMMZ0WO7eyU54x9GOPLcnRIek6zRC7weLRso1kQuq9nD+ir0eyXQyW6DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"da29c3a50d885fb490cdf8206bd69fefe1184b942c5fdc862d3555b7277600c2","last_reissued_at":"2026-05-17T23:52:13.351643Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:52:13.351643Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1903.00762","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-05-17T23:52:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wYtx7uDxUxtmb8XdYEPwkJDTH/ZVNCnZ8stYK+lKRyZOhNUb9k0sD9OkqTcGcSPANdqrWvV/zuegpajsGz+QCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T16:30:06.840996Z"},"content_sha256":"fba490cb1fda0b29963c20fd3d69a6ab35f96dbab58a33df420da14001dd064f","schema_version":"1.0","event_id":"sha256:fba490cb1fda0b29963c20fd3d69a6ab35f96dbab58a33df420da14001dd064f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:3IU4HJINRBP3JEGN7AQGXVU757","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verifying Aircraft Collision Avoidance Neural Networks Through Linear Approximations of Safe Regions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.SY","authors_text":"Jean-Baptiste Jeannin, Kyle D. Julian, Mykel J. Kochenderfer, Shivam Sharma","submitted_at":"2019-03-02T20:42:51Z","abstract_excerpt":"The next generation of aircraft collision avoidance systems frame the problem as a Markov decision process and use dynamic programming to optimize the alerting logic. The resulting system uses a large lookup table to determine advisories given to pilots, but these tables can grow very large. To enable the system to operate on limited hardware, prior work investigated compressing the table using a deep neural network. However, ensuring that the neural network reliably issues safe advisories is important for certification. This work defines linearized regions where each advisory can be safely pr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.00762","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":""},"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-05-17T23:52:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4HcBLYyGmvq/Vk/J3hrmKswkufM9h2XJztkVAtdibqDvuatt4xrph2tO0fUOtIJ7IM86jI5H1mfgD0w8sTL9AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T16:30:06.841365Z"},"content_sha256":"3640f54b3b9de8c54466c8e546dd4e0c3ed99b6317a6e1c804fda1b1a4731013","schema_version":"1.0","event_id":"sha256:3640f54b3b9de8c54466c8e546dd4e0c3ed99b6317a6e1c804fda1b1a4731013"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3IU4HJINRBP3JEGN7AQGXVU757/bundle.json","state_url":"https://pith.science/pith/3IU4HJINRBP3JEGN7AQGXVU757/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3IU4HJINRBP3JEGN7AQGXVU757/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-06-05T16:30:06Z","links":{"resolver":"https://pith.science/pith/3IU4HJINRBP3JEGN7AQGXVU757","bundle":"https://pith.science/pith/3IU4HJINRBP3JEGN7AQGXVU757/bundle.json","state":"https://pith.science/pith/3IU4HJINRBP3JEGN7AQGXVU757/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3IU4HJINRBP3JEGN7AQGXVU757/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:3IU4HJINRBP3JEGN7AQGXVU757","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":"118d5f72dece254ae0bb94da7ef3bd42b0b2c9df4e4f48130ef13d357bdd1181","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2019-03-02T20:42:51Z","title_canon_sha256":"3bd2cb031d82d0ffcd44e12a340dbe9b5a2382df2766b8f8eb38bf195305395c"},"schema_version":"1.0","source":{"id":"1903.00762","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.00762","created_at":"2026-05-17T23:52:13Z"},{"alias_kind":"arxiv_version","alias_value":"1903.00762v1","created_at":"2026-05-17T23:52:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.00762","created_at":"2026-05-17T23:52:13Z"},{"alias_kind":"pith_short_12","alias_value":"3IU4HJINRBP3","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"3IU4HJINRBP3JEGN","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"3IU4HJIN","created_at":"2026-05-18T12:33:07Z"}],"graph_snapshots":[{"event_id":"sha256:3640f54b3b9de8c54466c8e546dd4e0c3ed99b6317a6e1c804fda1b1a4731013","target":"graph","created_at":"2026-05-17T23:52:13Z","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"},"paper":{"abstract_excerpt":"The next generation of aircraft collision avoidance systems frame the problem as a Markov decision process and use dynamic programming to optimize the alerting logic. The resulting system uses a large lookup table to determine advisories given to pilots, but these tables can grow very large. To enable the system to operate on limited hardware, prior work investigated compressing the table using a deep neural network. However, ensuring that the neural network reliably issues safe advisories is important for certification. This work defines linearized regions where each advisory can be safely pr","authors_text":"Jean-Baptiste Jeannin, Kyle D. Julian, Mykel J. Kochenderfer, Shivam Sharma","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2019-03-02T20:42:51Z","title":"Verifying Aircraft Collision Avoidance Neural Networks Through Linear Approximations of Safe Regions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.00762","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:fba490cb1fda0b29963c20fd3d69a6ab35f96dbab58a33df420da14001dd064f","target":"record","created_at":"2026-05-17T23:52:13Z","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":"118d5f72dece254ae0bb94da7ef3bd42b0b2c9df4e4f48130ef13d357bdd1181","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2019-03-02T20:42:51Z","title_canon_sha256":"3bd2cb031d82d0ffcd44e12a340dbe9b5a2382df2766b8f8eb38bf195305395c"},"schema_version":"1.0","source":{"id":"1903.00762","kind":"arxiv","version":1}},"canonical_sha256":"da29c3a50d885fb490cdf8206bd69fefe1184b942c5fdc862d3555b7277600c2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"da29c3a50d885fb490cdf8206bd69fefe1184b942c5fdc862d3555b7277600c2","first_computed_at":"2026-05-17T23:52:13.351643Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:52:13.351643Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KEEzoDotwfNqZc+rkoq1WhI72i6CbPMMZ0WO7eyU54x9GOPLcnRIek6zRC7weLRso1kQuq9nD+ir0eyXQyW6DQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:52:13.352385Z","signed_message":"canonical_sha256_bytes"},"source_id":"1903.00762","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fba490cb1fda0b29963c20fd3d69a6ab35f96dbab58a33df420da14001dd064f","sha256:3640f54b3b9de8c54466c8e546dd4e0c3ed99b6317a6e1c804fda1b1a4731013"],"state_sha256":"6a51286cace5b3d32748d36330dad68da7c43aca66d325dcfd07eef6acba8720"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZBJCryS7v0AnAFoewVGpmvmmsytTUVtH7fi/ueYrJpbfwkQPgchqXD+SgGhi91xmPGKpQHuP/AZ4UPeU52m0BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T16:30:06.843342Z","bundle_sha256":"3ab7e153cbbdfdb92a0edb4da721eabe5464736d30a188afbbb346fdc58f5248"}}