{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:HTDI5KQE2TZYVM36NVE32RVONV","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":"c1d0291a3862646f08d116bcccc49436eea0333095243d383324ec0fdad644aa","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-09-07T17:02:09Z","title_canon_sha256":"853e78af7219fcc99e47fb360a459ee114ea6c77ddfc747b92894b05624069b5"},"schema_version":"1.0","source":{"id":"2309.03846","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.03846","created_at":"2026-07-05T06:48:42Z"},{"alias_kind":"arxiv_version","alias_value":"2309.03846v1","created_at":"2026-07-05T06:48:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.03846","created_at":"2026-07-05T06:48:42Z"},{"alias_kind":"pith_short_12","alias_value":"HTDI5KQE2TZY","created_at":"2026-07-05T06:48:42Z"},{"alias_kind":"pith_short_16","alias_value":"HTDI5KQE2TZYVM36","created_at":"2026-07-05T06:48:42Z"},{"alias_kind":"pith_short_8","alias_value":"HTDI5KQE","created_at":"2026-07-05T06:48:42Z"}],"graph_snapshots":[{"event_id":"sha256:5a5a006269111d90fa214d303c9ddf5cca7994ee963d4be422d86b990b6b9fdf","target":"graph","created_at":"2026-07-05T06:48:42Z","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/2309.03846/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Neural networks (NNs) have been shown to learn complex control laws successfully, often with performance advantages or decreased computational cost compared to alternative methods. Neural network controllers (NNCs) are, however, highly sensitive to disturbances and uncertainty, meaning that it can be challenging to make satisfactory robustness guarantees for systems with these controllers. This problem is exacerbated when considering multi-agent NN-controlled systems, as existing reachability methods often scale poorly for large systems. This paper addresses the problem of finding overapproxim","authors_text":"Konstantinos Gatsis, Matthew Newton, Oliver Gates","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-09-07T17:02:09Z","title":"Scalable Forward Reachability Analysis of Multi-Agent Systems with Neural Network Controllers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.03846","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:739a49b585242316df612c96a790215e48dc9804aee785ed46592817b727fa11","target":"record","created_at":"2026-07-05T06:48:42Z","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":"c1d0291a3862646f08d116bcccc49436eea0333095243d383324ec0fdad644aa","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-09-07T17:02:09Z","title_canon_sha256":"853e78af7219fcc99e47fb360a459ee114ea6c77ddfc747b92894b05624069b5"},"schema_version":"1.0","source":{"id":"2309.03846","kind":"arxiv","version":1}},"canonical_sha256":"3cc68eaa04d4f38ab37e6d49bd46ae6d5361283f9edd8774a8d4147264636e00","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3cc68eaa04d4f38ab37e6d49bd46ae6d5361283f9edd8774a8d4147264636e00","first_computed_at":"2026-07-05T06:48:42.831867Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:48:42.831867Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CMSr1adA6E/ZXpZTfa8mk1aS0sGw0YoQEV0dnup29Ha4B1klSoRp+Y1grk8BQRg9MDHvElBweNWXd4wGVuH0DA==","signature_status":"signed_v1","signed_at":"2026-07-05T06:48:42.832281Z","signed_message":"canonical_sha256_bytes"},"source_id":"2309.03846","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:739a49b585242316df612c96a790215e48dc9804aee785ed46592817b727fa11","sha256:5a5a006269111d90fa214d303c9ddf5cca7994ee963d4be422d86b990b6b9fdf"],"state_sha256":"6beaf9029b2eead8c920472f36d606fe9756e461bc664b22ca09eca17047ef88"}