{"as_of":"2026-08-19T00:42:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:05a14bf769992f9959fd28c26a2a5a832c0a332cfd61f6d62c20b6a94985e401","coverage":[{"denominator":59,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":59,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T18:14:38.704729Z","state":"measured"},{"denominator":59,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":59,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-18T06:34:40.430872+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2509.10118/citation-record","integrity":"/paper/2509.10118/integrity","json":"/paper/2509.10118/citation-record.json","paper":"/paper/2509.10118"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:34.197461Z","title":"Sub- space identification of large-scale interconnected systems","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:34.197461Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:05ca08cb76d31ce774c53c420bc8938d568b58dcbb2ebe56f18c4b74491b6b15","observation_id":"7ea5a68b-71fa-4f6c-863d-288c915f6438","resolution":{"observed_at":"2026-08-04T18:14:34.197461Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:34.297031Z","title":"Small-gain theorem for safety verification of inter- connected systems","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:34.297031Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:6726c0273c08fbcd52d323bb5b24747ac49648f8717f0d120e9727564dcde654","observation_id":"f06ff564-df3c-4a13-9e2e-beb83773886e","resolution":{"observed_at":"2026-08-04T18:14:34.297031Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:34.409920Z","title":"Privacy-preserving distributed estimation for interconnected dynamic systems","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:34.409920Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:c2798a6f65ca10cf0983523614ba27559b888a3380a9cad61d351b9b7e3ce173","observation_id":"96d24e3e-fce5-4588-bf82-151cf9dadd10","resolution":{"observed_at":"2026-08-04T18:14:34.409920Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:34.498962Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:34.498962Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:498c97fdbc761533bc4aa3020d5c7580a4db2e7c98068e436ea508622cee4297","observation_id":"c7b0c431-d9a9-431f-b8a7-363d78d45ade","resolution":{"observed_at":"2026-08-04T18:14:34.498962Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:34.570256Z","title":"String stability in microgrids using frequency controlled inverter chains","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:34.570256Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:d7ce68e452552f7f19ae2e1702d6d0a6889ad7584121e6d362b23552b0c6a874","observation_id":"3c465048-61db-4205-877b-4cf056ca2512","resolution":{"observed_at":"2026-08-04T18:14:34.570256Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:34.629229Z","title":"Opti- mal control of interconnected systems with time- correlated noises: Application to vehicle platoon","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:34.629229Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:414ba9299112269035eaca91830224d821fae9ed1c86eca2867a42bbc7521ecd","observation_id":"cc48b456-271b-4534-b5b1-64bc23a78abd","resolution":{"observed_at":"2026-08-04T18:14:34.629229Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:34.688485Z","title":"A parameter privacy-preserving strategy for mixed-autonomy platoon control","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:34.688485Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:6ef0d1b279dd29618699d0def46e9893ddb2c17bed434e251337d2026ea38222","observation_id":"9f0bc6b4-a8f4-45f0-b5b9-e892f220c571","resolution":{"observed_at":"2026-08-04T18:14:34.688485Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:34.813371Z","title":"Model pre- dictive control of interconnected linear and nonlin- ear processes","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:34.813371Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:35e9d6d7ea2fabb56282954cdc18b12ec99d675e4e4a56a90aa36bb15d934af8","observation_id":"c6cebb80-661c-4949-b990-e792f2bd3cea","resolution":{"observed_at":"2026-08-04T18:14:34.813371Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:34.927082Z","title":"String stability for vehicular platoon control: Definitions and analysis methods","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:34.927082Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:a080bead5e432dff03c0c1285f3fdeea31be82e9d8b540c03ccd698f0356bc1f","observation_id":"1ee5834d-753a-4539-ad64-da880afa32d6","resolution":{"observed_at":"2026-08-04T18:14:34.927082Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:35.035693Z","title":"Leading cruise control in mixed traffic flow: System modeling, controllability, and string stability","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:35.035693Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:7ce82d4edfd216d6580e2c9be216a25312d1fecb6c0f41d27949ac7301c2dc06","observation_id":"f65dfad7-008e-4f90-84d4-8c3ffef27dab","resolution":{"observed_at":"2026-08-04T18:14:35.035693Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:35.134895Z","title":"String stable and collision-safe model predictive platoon control","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:35.134895Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:c2819df7121ba049a59d3717fea0bd0842370240e621278e47ba584b05a23d0e","observation_id":"401a63fe-d718-4958-bb71-0605f1489ca2","resolution":{"observed_at":"2026-08-04T18:14:35.134895Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:35.259721Z","title":"Adaptive learning-based model predictive control for uncer- tain interconnected systems: A set membership identification approach","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:35.259721Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:9825e98a968a83ceac1262f24c67e576704b70bf8b2d46e0eeac979026981768","observation_id":"d4688122-2514-44de-a3fe-33eea37f09fa","resolution":{"observed_at":"2026-08-04T18:14:35.259721Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:35.346570Z","title":"Distributed adap- tive integrated-sliding-mode controller synthesis for string stability of vehicle platoons","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:35.346570Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:c0fc845397437315fb81bd1089735d2902651bcb02d11a47aca683ce9bb7c89b","observation_id":"eeac74e2-2ec5-4e94-b117-094d468d61bb","resolution":{"observed_at":"2026-08-04T18:14:35.346570Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:35.426651Z","title":"End-to-end safe reinforce- ment learning through barrier functions for safety- critical continuous control tasks","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:35.426651Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:724c4b12b9475c20b0a17b1d7b6450c0f570677320a4c6a858f8e7a6a58a3925","observation_id":"7675378d-7ec0-4176-9bbf-aad0158873e5","resolution":{"observed_at":"2026-08-04T18:14:35.426651Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:35.525092Z","title":"A reinforce- ment learning-based vehicle platoon control strat- egy for reducing energy consumption in traffic os- cillations","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:35.525092Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:264351d72d37c8249f7c8e943015e925d366b898b8b7d292507516a9f06e66b1","observation_id":"c2ce0583-b82c-41c2-8e63-8004c0e934fc","resolution":{"observed_at":"2026-08-04T18:14:35.525092Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:35.623982Z","title":"En- hancing system-level safety in mixed-autonomy pla- toon via safe reinforcement learning","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:35.623982Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:2763e45d557d9a3fa9eda62f4f9152f605405e36c1cac87d97b2cb300c58bbc8","observation_id":"806ffbfe-ccfa-42a8-8c7d-f19c69273c2d","resolution":{"observed_at":"2026-08-04T18:14:35.623982Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:35.713386Z","title":"On the string stability of neural network-based car-following models: A generic analysis framework","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:35.713386Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:340c417756f33043ba31ad770621cff86cf617d3ae385b481e02828b09166848","observation_id":"fe860410-68b3-4e57-9a87-571897a59446","resolution":{"observed_at":"2026-08-04T18:14:35.713386Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:35.766733Z","title":"Lyapunov-stable neural-network control","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:35.766733Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:01cb72c812ed3f3f462c91e8e8722c5686c7b2e1d9a23b64a4e682780b7dd1d1","observation_id":"b68eedc4-d0fc-4fd9-843b-f6b0c43769fb","resolution":{"observed_at":"2026-08-04T18:14:35.766733Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:35.862247Z","title":"Lyapunov- stable neural control for state and output feedback: A novel formulation","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:35.862247Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:134abc91ae50bb4bba56e07c7dda18da56dddb4bea44dbed35078abb63d99386","observation_id":"05ee9e05-0df9-492e-852e-23fd05968549","resolution":{"observed_at":"2026-08-04T18:14:35.862247Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:35.913536Z","title":"Safe and reliable training of learning-based aerospace controllers","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:35.913536Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:f30c6d26d800ac7ecf413ff55d99e0cba1d2acdf0f447851b9a6d92adc6b414f","observation_id":"4b460825-bf00-4073-8fb7-37ed1842b369","resolution":{"observed_at":"2026-08-04T18:14:35.913536Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.14058","last_updated":"2024-08-14T18:45:17Z","snapshot_observed_at":"2026-08-16T13:50:26.348302Z","submitted_at":"2024-05-22T23:06:34Z","title":"Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.14058","snapshot_observed_at":"2026-08-04T18:14:35.976992Z","title":"Formally verifying deep rein- forcement learning controllers with lyapunov bar- rier certificates","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:35.976992Z"},"links":{"cited_paper":"/paper/2405.14058","citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:788fa7d64b18f6bf1871fe18ecec2126bb8f9c618f03e2e18b36853bfc959075","observation_id":"dcd11161-96b9-4ed7-9898-2760526a7ab6","resolution":{"observed_at":"2026-08-04T18:14:35.976992Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:36.079037Z","title":"Compositional neural certificates for networked dynamical systems","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:36.079037Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:91d6f4a3edad32baedf616e78e2f872d3e18bb97dce0e1e807aec2a9b42a1201","observation_id":"a9decb62-5d78-4dcf-8c40-c0bc1347aae7","resolution":{"observed_at":"2026-08-04T18:14:36.079037Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:36.153633Z","title":"Scal- able input-to-state stability of nonlinear intercon- nected systems","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:36.153633Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:3f1d007812319c0a88c42945a31985629cb53cc6a4cbbe537331214d4f6c3db5","observation_id":"bff7cd68-aab0-42ba-8513-8ef0255ee6e3","resolution":{"observed_at":"2026-08-04T18:14:36.153633Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:36.219016Z","title":"Heterogeneous string stability of unidirectionally interconnected mimo lti systems","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:36.219016Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:c98baf5129a08addb1bf07970aca3744788fb1264e509609dd4f9199abba95c8","observation_id":"0c066f08-fb3a-43ac-91a7-dcaf452b7876","resolution":{"observed_at":"2026-08-04T18:14:36.219016Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:36.282951Z","title":"String stable inte- gral control design for vehicle platoons with distur- bances","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:36.282951Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:bd80daf12eb71cb33db8dcd513fa6d5035ce08d7450954840405898ed6b73ebe","observation_id":"3f850606-3821-450f-93ac-5b34aa2c5d11","resolution":{"observed_at":"2026-08-04T18:14:36.282951Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:36.340542Z","title":"On stochastic string stability with applications to platooning over addi- tive noise channels","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:36.340542Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:1bcf7d0ecf26ce3ef3aacbb362c886608a0408a5d7c6ff32ce03f5703622626a","observation_id":"8e06adcd-91c0-476f-9f97-b6479b988a84","resolution":{"observed_at":"2026-08-04T18:14:36.340542Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:36.449067Z","title":"String stabil- ity of energy-saving aircraft formations","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:36.449067Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:b3aeb8e0b44af404cf3d6d25f47cf41776243c0ffe8b1d11dcfd90afe387f508","observation_id":"dba765f7-ccca-4218-ac3a-e55792ecd0b7","resolution":{"observed_at":"2026-08-04T18:14:36.449067Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:36.505976Z","title":"Multiobjective h∞ control for string stability of cooperative adaptive cruise con- trol systems","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:36.505976Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:b826177fc91ec1f2a91461cb1db2cdc91c31902373e5d82ec590be4dfdd015f6","observation_id":"f9af472f-63e6-4732-b1c2-d4d942bb366d","resolution":{"observed_at":"2026-08-04T18:14:36.505976Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:36.596425Z","title":"Data-driven analysis for disturbance amplification in car-following behavior of automated vehicles","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:36.596425Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:11c931172b9fc8b7bf78ac9fd653182d6004308b7756c2b18c2a71c187bc955e","observation_id":"8000dbb0-6f7c-42cc-970d-52160a4bdba0","resolution":{"observed_at":"2026-08-04T18:14:36.596425Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:36.648585Z","title":"Safe control with learned certificates: A survey of neural lyapunov, barrier, and contraction methods for robotics and control","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:36.648585Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:0361dbcecc6ec89b1fc871e23b5f1aaebe976e7980e1c3b8bffc15119de74101","observation_id":"5adf3542-2add-4edb-91a6-65c09db19ef8","resolution":{"observed_at":"2026-08-04T18:14:36.648585Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:36.742469Z","title":"Model-free safe re- inforcement learning through neural barrier cer- tificate","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:36.742469Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:5afd7655a1e02e0ac6878d72576a16da7fc0aee2a78122dc4da84a842f214213","observation_id":"dd0ea1e2-4d03-4f2e-a232-a1cac1dd693e","resolution":{"observed_at":"2026-08-04T18:14:36.742469Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:36.796412Z","title":"Synthesizing barrier certificates using neu- ral networks","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:36.796412Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:722edb56862e9a91d2d815aaaaf019a1deddadb3fa2d6f66fc4761b7aa5f1fa7","observation_id":"b47b4da3-91f7-4d29-9d0e-d5be16ba6a96","resolution":{"observed_at":"2026-08-04T18:14:36.796412Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:36.867734Z","title":"Learning a formally verified control barrier function in stochas- tic environment","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:36.867734Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:7d62fa7a3eb3aa10840800e9ef916b3ded2a036000ec8a7bb1849f403632669e","observation_id":"d780e3b3-856b-422c-a96d-94b23d988690","resolution":{"observed_at":"2026-08-04T18:14:36.867734Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:36.946145Z","title":"Simultaneous synthesis and verification of neural control barrier functions through branch-and-bound verification- in-the-loop training","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:36.946145Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:e766d57428d18a557c9c18fc862d197830d6d5088251fcb6a007ec290ea031eb","observation_id":"2c013613-e5da-4e5a-8a44-1c59245dd76e","resolution":{"observed_at":"2026-08-04T18:14:36.946145Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:37.022544Z","title":"Exact verification of relu neural control barrier functions","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:37.022544Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:c0704a6b9d3e46a3df1fcf25832cbd043fb0a1cc66e9399ad6bb90af24639f65","observation_id":"b90bc464-0e3c-44f2-8610-ac81b5689aa7","resolution":{"observed_at":"2026-08-04T18:14:37.022544Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:37.073888Z","title":"Data-driven verification and synthesis of stochastic systems via barrier certifi- cates","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:37.073888Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:064afeff1cd2e92148927f97f2346483158fe32ad3af5ddac9a8c739451aaf2a","observation_id":"9d1ac305-8484-48e7-a80a-d9ce1ebc26c2","resolution":{"observed_at":"2026-08-04T18:14:37.073888Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:37.153855Z","title":"Safe reach set computation via neural barrier certificates","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:37.153855Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:5c80a22c1d502983c0378d867561db06e58a267006c995b2adaaff444e407b71","observation_id":"8bd5125d-efb5-42db-b08e-6d95892589a8","resolution":{"observed_at":"2026-08-04T18:14:37.153855Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:37.235535Z","title":"Verification of neural control barrier functions with symbolic derivative bounds propaga- tion","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:37.235535Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:e4bda93f99f9a8eae5a4f31243ae0eda63ae474aed8fe6e72b2712eb9a27dd1a","observation_id":"72ff6e63-14ed-43a8-ac42-2e956f3c1521","resolution":{"observed_at":"2026-08-04T18:14:37.235535Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:37.301673Z","title":"Gcbf+: A neural graph control barrier function framework for distributed safe multi-agent control","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:37.301673Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:f1537eb4cef0b59971c572d566491423e6877fca23316942033b354ce6dacfb4","observation_id":"bb74c367-c3a0-44b9-ab90-ea5f1662b247","resolution":{"observed_at":"2026-08-04T18:14:37.301673Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:37.370730Z","title":"Counterexample-guided computation of polyhedral 13 lyapunov functions for piecewise linear systems","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:37.370730Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:a5a02804aff496396beafa18ac98d8f787e1e93706d66cab43ad63cd2a881ea9","observation_id":"375ee664-4740-40b9-b8d1-7b2e649f36dd","resolution":{"observed_at":"2026-08-04T18:14:37.370730Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:37.465186Z","title":"Stability analy- sis of switched linear systems with neural lyapunov functions","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:37.465186Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:d22ea4892fa586e8e807280ee8820d0abb4e0e2c17b3626c3c86f434899f01f9","observation_id":"3e158e78-180b-4269-b63d-6ff77fa7dfcc","resolution":{"observed_at":"2026-08-04T18:14:37.465186Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:37.552176Z","title":"Physics-informed neural network lyapunov functions: Pde characterization, learning, and verification","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:37.552176Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:5e7dabfc38250f832f30048195e5201040827e9fae5a9bd9838220e5f74196e8","observation_id":"50c3d7ba-529f-49ab-97ca-6b8362b2100d","resolution":{"observed_at":"2026-08-04T18:14:37.552176Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:37.587371Z","title":"Certified training: Small boxes are all you need","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:37.587371Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:b61c856a99bbed8755b3881782d86a89a3e3bcc6d0ed934a6edf5cff8cbf9a00","observation_id":"c9830002-637d-4693-97be-367539299cd7","resolution":{"observed_at":"2026-08-04T18:14:37.587371Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:37.637646Z","title":"On adaptive attacks to ad- versarial example defenses","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:37.637646Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:23af3499d63241d215e0c4754939bdba717d9eef437a0b43860ce3a4f6513bc8","observation_id":"2831f6fa-ac14-48be-b82e-afc8e5876a94","resolution":{"observed_at":"2026-08-04T18:14:37.637646Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:37.704352Z","title":"Beta-crown: Efficient bound propagation with per- neuron split constraints for neural network robust- ness verification","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:37.704352Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:4eb1d64b275a3c18edd014a9a72cc455df01dfa0f8e80aa6633b44951c604b15","observation_id":"19f916df-1cd1-46d3-ba97-d53fcdbd41de","resolution":{"observed_at":"2026-08-04T18:14:37.704352Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:37.778617Z","title":"Marabou 2.0: a versatile formal analyzer of neural networks","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:37.778617Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:2fb695e5da7b322d700ddf2eb74a292d53d628bd4ab6bc96b7f74348615e71ea","observation_id":"eb173b07-1f5b-43f8-8a3d-629910adfd7d","resolution":{"observed_at":"2026-08-04T18:14:37.778617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:37.863610Z","title":"Nnv 2.0: the neural network verification tool","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:37.863610Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:2b3e4ed5743fed363ddc779d79c5dff1c53a0c3643241b337caaee92c6015c7e","observation_id":"e3a97e6b-2cf1-447d-8f5b-5edb4944519c","resolution":{"observed_at":"2026-08-04T18:14:37.863610Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:37.965938Z","title":"A novel counterexample-guided inductive synthe- sis framework for barrier certificate generation","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:37.965938Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:30a8de25683682b4920ae480a74bbca584881dabc4823667e4b42a1b4a2631bb","observation_id":"55c164de-f3c3-40fa-a799-4485dfbc9f03","resolution":{"observed_at":"2026-08-04T18:14:37.965938Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:38.072224Z","title":"Eclipse: Effi- cient compositional lipschitz constant estimation for deep neural networks.Advances in Neural Infor- mation Processing Systems, 37:10414–10441, 2024","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:38.072224Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:e9e1db60c655b4e47b01d4e8be3c4a78c76c95165e647851d375a1e5e4020f94","observation_id":"244a4033-611f-444a-94fe-ea23f863ebb0","resolution":{"observed_at":"2026-08-04T18:14:38.072224Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:38.146385Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:38.146385Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:fa9f22b244dda4d0ca639f8e9b9c48d9e97ae8f9b8dc6668859a6c9fdb2f6ef6","observation_id":"7dcc3828-7f8d-49b6-9d88-d8b2579ec50c","resolution":{"observed_at":"2026-08-04T18:14:38.146385Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:38.217159Z","title":"Automatic Perturba- tion Analysis for Scalable Certified Robustness and Beyond","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:38.217159Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:0c21f629710445f01537595dc7b55f3a8ffa48cf135839e669055aa068d0d030","observation_id":"330924a2-9c62-4b92-b766-1d696b9bd2ae","resolution":{"observed_at":"2026-08-04T18:14:38.217159Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:38.277559Z","title":"Lomuscio","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:38.277559Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:1aa11c60198cd8b8150b16717a0ab7627fedd18dde18d10a41e8a73596193166","observation_id":"cb8e312e-955e-4cf1-83fc-34c5661c510d","resolution":{"observed_at":"2026-08-04T18:14:38.277559Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:38.323551Z","title":"Input convex neural networks","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:38.323551Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:fb97ec9a81c4e166b00b1545fb65c39eb8a1b62c51d1d680444f53dcbd5f78d8","observation_id":"3b0800a8-538c-4f2d-96e6-127b039518aa","resolution":{"observed_at":"2026-08-04T18:14:38.323551Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:38.363482Z","title":"Full ve- locity difference model for a car-following theory","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:38.363482Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:b57664c86591f6b39e0b4b3e032da44116032f9b2d4bb3a167c4b89999752fe0","observation_id":"8dc90ce2-2f75-4186-9355-180b6b0a5a72","resolution":{"observed_at":"2026-08-04T18:14:38.363482Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:38.439689Z","title":"A compendium of compar- ison function results","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:38.439689Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:89588c8ef3f7917c3b3cb5574d10dfceb78c40ecbe50bd913f631f2e0784c087","observation_id":"05717a9a-523b-44a0-b216-99d1e9e74be6","resolution":{"observed_at":"2026-08-04T18:14:38.439689Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:38.512776Z","title":"Contemporary abstract algebra","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:38.512776Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:935c8456b49f3b1b8e259cf4c1bf7e2b4f56f6378c2c761f43d25f3ba4cd2475","observation_id":"1b329024-3f14-4c06-a0ad-fa4e231a8ae0","resolution":{"observed_at":"2026-08-04T18:14:38.512776Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:38.562290Z","title":"The quickhull algorithm for convex hulls","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:38.562290Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:6414295f9f26a7104828221e72935fab7daf410f21c5b312902c7a67f6cfa759","observation_id":"64f48278-4519-46a1-9c98-d695ba34821d","resolution":{"observed_at":"2026-08-04T18:14:38.562290Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:38.623059Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:38.623059Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:fc182929e4aab2274bd487c337cadecbc88cf6a29f49a23dd980ed572d6fd9af","observation_id":"7a74483d-bfcd-4c27-b504-c1a26bdc0436","resolution":{"observed_at":"2026-08-04T18:14:38.623059Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T18:14:38.704729Z","title":"Then, the small-gain condition is satisfied, and by Eq","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-04T18:14:38.704729Z"},"links":{"citing_paper":"/paper/2509.10118"},"observation_digest":"sha256:0e0924ecb8bb124d6baae0ecc8048c26682a2e614ef76957f215a904bba80730","observation_id":"c56979c2-7c8e-415d-b0eb-7c9538bb76a7","resolution":{"observed_at":"2026-08-04T18:14:38.704729Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2509.10118","last_updated":"2025-09-12T10:22:54Z","latest_version":1,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-15T08:41:34.381496Z","submitted_at":"2025-09-12T10:22:54Z","title":"Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems"},"reference_resolution":{"displayed":59,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":59,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":59},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 59 of 59 outbound references and 0 inbound Pith citation observations for arXiv:2509.10118."}