{"as_of":"2026-08-19T02:11:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:5deb3a90d38b010df4e125a851829b86ac6deb851187768ea6dc35695b43b601","coverage":[{"denominator":18,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":18,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-09T00:58:43.039801Z","state":"measured"},{"denominator":19,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":19,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-18T06:34:40.430872+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T12:40:33.185328Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-16T12:40:33.269373Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2502.03765","last_updated":"2025-04-20T17:47:00Z","snapshot_observed_at":"2026-08-15T08:46:40.363357Z","submitted_at":"2025-02-06T03:58:54Z","title":"Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems","version":2},"cited_work":{"arxiv_id":"2502.03765","doi":null,"metadata_source":"pith","pith_arxiv_id":"2502.03765","snapshot_observed_at":"2026-08-16T12:40:33.269373Z","title":"Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems","venue":"eess.SY","work_id":"dc60ed92-ec43-4752-be31-24aba245c0f9","year":2025},"citing_paper":{"arxiv_id":"2504.12269","last_updated":"2025-04-16T17:31:47Z","snapshot_observed_at":"2026-08-16T12:31:20.407927Z","submitted_at":"2025-04-16T17:31:47Z","title":"SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-16T12:40:33.185328Z"},"links":{"cited_paper":"/paper/2502.03765","citing_paper":"/paper/2504.12269"},"observation_digest":"sha256:f8d00550ea6ab3148fb30a207196db717bd05eacf38daa413b187feab5dfc6a4","observation_id":"f0edc3cb-1823-4ec8-9751-f0080394b091","resolution":{"observed_at":"2026-08-16T12:40:33.277424Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2502.03765/citation-record","integrity":"/paper/2502.03765/integrity","json":"/paper/2502.03765/citation-record.json","paper":"/paper/2502.03765"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"1804.10332","last_updated":"2018-05-16T20:35:34Z","snapshot_observed_at":"2026-08-14T19:21:23.179705Z","submitted_at":"2018-04-27T03:42:55Z","title":"Sim-to-Real: Learning Agile Locomotion For Quadruped Robots","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1804.10332","snapshot_observed_at":"2026-08-09T00:58:42.703189Z","title":"Sim-to-real: Learning agile locomotion for quadruped robots,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2502.03765","last_updated":"2025-04-20T17:47:00Z","snapshot_observed_at":"2026-08-15T08:46:40.363357Z","submitted_at":"2025-02-06T03:58:54Z","title":"Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-09T00:58:42.703189Z"},"links":{"cited_paper":"/paper/1804.10332","citing_paper":"/paper/2502.03765"},"observation_digest":"sha256:8aa7feaff0036c4b8c96eed4a697866b3cef5afea83fc6fbd18a734d71d44d38","observation_id":"64961b77-78fd-4158-b0f6-722d0fe82a19","resolution":{"observed_at":"2026-08-09T00:58:42.703189Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:58:43.581902Z","title":"Backward reachability analysis of neural feedback loops: Techniques for linear and nonlinear systems,","venue":null,"work_id":"718dd130-9ae9-4f04-b1b4-65c82d11193f","year":2023},"citing_paper":{"arxiv_id":"2502.03765","last_updated":"2025-04-20T17:47:00Z","snapshot_observed_at":"2026-08-15T08:46:40.363357Z","submitted_at":"2025-02-06T03:58:54Z","title":"Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-09T00:58:42.708592Z"},"links":{"citing_paper":"/paper/2502.03765"},"observation_digest":"sha256:a48b1532950bd464978d2f9e4d9894943cc0e50905bf274d3dc3bd4057a4ee66","observation_id":"a4a47b1d-58fc-44a3-8cbf-ac5723e0bd4f","resolution":{"observed_at":"2026-08-09T00:58:43.586817Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:58:43.545700Z","title":"Adversarial examples: Attacks and defenses for deep learning,","venue":null,"work_id":"7e82b6bb-9265-4298-8eb6-184c98387830","year":2019},"citing_paper":{"arxiv_id":"2502.03765","last_updated":"2025-04-20T17:47:00Z","snapshot_observed_at":"2026-08-15T08:46:40.363357Z","submitted_at":"2025-02-06T03:58:54Z","title":"Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-09T00:58:42.713165Z"},"links":{"citing_paper":"/paper/2502.03765"},"observation_digest":"sha256:4674ebd15ce8814112bd1adb281d6b796ebbad86e93093088a9046fc5e28010b","observation_id":"7efcb92a-2eff-4ba6-ac26-7bd33b0adcd1","resolution":{"observed_at":"2026-08-09T00:58:43.571110Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:58:43.481318Z","title":"Neural lyapunov control,","venue":null,"work_id":"36ce04e7-4525-405f-a6c7-7e032d86ee46","year":2019},"citing_paper":{"arxiv_id":"2502.03765","last_updated":"2025-04-20T17:47:00Z","snapshot_observed_at":"2026-08-15T08:46:40.363357Z","submitted_at":"2025-02-06T03:58:54Z","title":"Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-09T00:58:42.719284Z"},"links":{"citing_paper":"/paper/2502.03765"},"observation_digest":"sha256:3f42dde893e1f8668d6c2e37b7e36d798536f110cc8cfca82e0be93400654a82","observation_id":"b70c9654-6310-40f9-82a6-3053efc7d8e5","resolution":{"observed_at":"2026-08-09T00:58:43.518365Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2109.14152","last_updated":"2021-09-29T02:40:32Z","snapshot_observed_at":"2026-08-16T17:53:15.842577Z","submitted_at":"2021-09-29T02:40:32Z","title":"Lyapunov-stable neural-network control","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2109.14152","snapshot_observed_at":"2026-08-09T00:58:42.723594Z","title":"Lyapunov- stable neural-network control,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2502.03765","last_updated":"2025-04-20T17:47:00Z","snapshot_observed_at":"2026-08-15T08:46:40.363357Z","submitted_at":"2025-02-06T03:58:54Z","title":"Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-09T00:58:42.723594Z"},"links":{"cited_paper":"/paper/2109.14152","citing_paper":"/paper/2502.03765"},"observation_digest":"sha256:e20f696e1735d7a2722440e9cc866e97a1c00521c7851aabf854e4f1b138bcc9","observation_id":"7df05cca-9ad2-4a11-804b-37bb0686f6f1","resolution":{"observed_at":"2026-08-09T00:58:42.723594Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:58:43.364752Z","title":"Safe nonlinear control using robust neural lyapunov-barrier functions,","venue":null,"work_id":"3c5fb9a3-6e58-4101-a869-5dc74b06c3ba","year":2022},"citing_paper":{"arxiv_id":"2502.03765","last_updated":"2025-04-20T17:47:00Z","snapshot_observed_at":"2026-08-15T08:46:40.363357Z","submitted_at":"2025-02-06T03:58:54Z","title":"Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-09T00:58:42.727987Z"},"links":{"citing_paper":"/paper/2502.03765"},"observation_digest":"sha256:4103e377d7ec39f1522ebcdaedc041d7876fe9f4caa1ec823024ba351b8f3052","observation_id":"9b6bb640-9fac-4943-93f2-87f72258bac8","resolution":{"observed_at":"2026-08-09T00:58:43.394792Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:58:42.732835Z","title":"Control barrier function based quadratic programs with application to adaptive cruise control,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2502.03765","last_updated":"2025-04-20T17:47:00Z","snapshot_observed_at":"2026-08-15T08:46:40.363357Z","submitted_at":"2025-02-06T03:58:54Z","title":"Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-09T00:58:42.732835Z"},"links":{"citing_paper":"/paper/2502.03765"},"observation_digest":"sha256:246e336e946ef4a354e5ec78e713d5af78556c358a7c41358990de221c3cde38","observation_id":"1b3fd6a6-8418-44e9-87e3-cf335261dabf","resolution":{"observed_at":"2026-08-09T00:58:42.732835Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:58:43.268778Z","title":"Safe control synthe- sis using environmentally robust control barrier functions,","venue":null,"work_id":"c68a5fd7-ecdd-4ba5-bd9e-5728ced8edcf","year":2023},"citing_paper":{"arxiv_id":"2502.03765","last_updated":"2025-04-20T17:47:00Z","snapshot_observed_at":"2026-08-15T08:46:40.363357Z","submitted_at":"2025-02-06T03:58:54Z","title":"Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-09T00:58:42.736754Z"},"links":{"citing_paper":"/paper/2502.03765"},"observation_digest":"sha256:8d71920f849e8d0dfccc148c472ddf00a15df6a3d45a3d02ab28966d9c405db1","observation_id":"e630b965-7c03-4e1e-9f48-38ce37052a16","resolution":{"observed_at":"2026-08-09T00:58:43.312348Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:58:43.235070Z","title":"Safe reinforcement learning: A control barrier function optimization approach,","venue":null,"work_id":"9ae34c3c-cd83-4d15-ad4e-cc0b5a0b9740","year":1923},"citing_paper":{"arxiv_id":"2502.03765","last_updated":"2025-04-20T17:47:00Z","snapshot_observed_at":"2026-08-15T08:46:40.363357Z","submitted_at":"2025-02-06T03:58:54Z","title":"Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-09T00:58:42.740879Z"},"links":{"citing_paper":"/paper/2502.03765"},"observation_digest":"sha256:f1a52e179a4f9efe124f8f6b1085fcff3292d659527ddca324d31bf2ac570db3","observation_id":"2d7516ae-4e32-41ed-8f54-f3045dff9192","resolution":{"observed_at":"2026-08-09T00:58:43.239468Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:58:43.219564Z","title":"Learning for safety- critical control with control barrier functions,","venue":null,"work_id":"48ff3b02-b018-4ff3-b6ab-127c1266de0a","year":2020},"citing_paper":{"arxiv_id":"2502.03765","last_updated":"2025-04-20T17:47:00Z","snapshot_observed_at":"2026-08-15T08:46:40.363357Z","submitted_at":"2025-02-06T03:58:54Z","title":"Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-09T00:58:42.762366Z"},"links":{"citing_paper":"/paper/2502.03765"},"observation_digest":"sha256:d4f4047d8b7ba2a86e5646621eec173159490ebf682d4f987469edb0639d6e68","observation_id":"02a261eb-9455-4737-929a-721dcd90cc46","resolution":{"observed_at":"2026-08-09T00:58:43.224803Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:58:43.203284Z","title":"Stability analysis and controller synthesis using single-hidden-layer relu neural networks,","venue":null,"work_id":"07b1d875-faa5-4fbd-a214-fe2464da50e0","year":2023},"citing_paper":{"arxiv_id":"2502.03765","last_updated":"2025-04-20T17:47:00Z","snapshot_observed_at":"2026-08-15T08:46:40.363357Z","submitted_at":"2025-02-06T03:58:54Z","title":"Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-09T00:58:42.795340Z"},"links":{"citing_paper":"/paper/2502.03765"},"observation_digest":"sha256:9c2f34692bacc1d4f55c292d843267fd929e41a50be2b4a0e049747b2d26757c","observation_id":"4e9c5d05-3ecf-4558-85fb-be76ac568e48","resolution":{"observed_at":"2026-08-09T00:58:43.208268Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:58:43.188709Z","title":"Constrained stabilization of continuous- time linear systems,","venue":null,"work_id":"344f8b82-50a7-48c1-84de-b8e65fb2a0d0","year":1996},"citing_paper":{"arxiv_id":"2502.03765","last_updated":"2025-04-20T17:47:00Z","snapshot_observed_at":"2026-08-15T08:46:40.363357Z","submitted_at":"2025-02-06T03:58:54Z","title":"Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-09T00:58:42.834684Z"},"links":{"citing_paper":"/paper/2502.03765"},"observation_digest":"sha256:69f50027c42d6ba966068a9ea1f65d090fee92f327c0dc61014238a3fc39a49c","observation_id":"bec76b43-e397-489e-aa4b-b0e3edd3bddb","resolution":{"observed_at":"2026-08-09T00:58:43.193561Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:58:43.174027Z","title":"Rakovi ´c, E","venue":null,"work_id":"a332b9ed-c8f8-49ee-9bc2-47f33a282bdd","year":2004},"citing_paper":{"arxiv_id":"2502.03765","last_updated":"2025-04-20T17:47:00Z","snapshot_observed_at":"2026-08-15T08:46:40.363357Z","submitted_at":"2025-02-06T03:58:54Z","title":"Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-09T00:58:42.879302Z"},"links":{"citing_paper":"/paper/2502.03765"},"observation_digest":"sha256:3b26e07e3c83910a6c282246f52b777c0056dcb8075aa1367f5d9f252e991a41","observation_id":"bfaf410c-0a62-4246-b913-f11645180db9","resolution":{"observed_at":"2026-08-09T00:58:43.178723Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:58:43.159192Z","title":"Invariant set estimation for piece- wise affine dynamical systems using piecewise affine barrier function,","venue":null,"work_id":"16a18db0-634f-4fdd-8ddf-7cc4132756c3","year":2024},"citing_paper":{"arxiv_id":"2502.03765","last_updated":"2025-04-20T17:47:00Z","snapshot_observed_at":"2026-08-15T08:46:40.363357Z","submitted_at":"2025-02-06T03:58:54Z","title":"Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-09T00:58:42.921859Z"},"links":{"citing_paper":"/paper/2502.03765"},"observation_digest":"sha256:1f4a798eaf61e01946d930eecdb071d4eb2c67fd4b6993c664d37b9c7911ce42","observation_id":"9210993d-b859-4de0-9ace-5ce473e1a909","resolution":{"observed_at":"2026-08-09T00:58:43.163709Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:58:43.144731Z","title":"Nonsmooth barrier func- tions with applications to multi-robot systems,","venue":null,"work_id":"2707e7f3-177c-48d6-ace4-c61905f239e5","year":2017},"citing_paper":{"arxiv_id":"2502.03765","last_updated":"2025-04-20T17:47:00Z","snapshot_observed_at":"2026-08-15T08:46:40.363357Z","submitted_at":"2025-02-06T03:58:54Z","title":"Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-09T00:58:42.954916Z"},"links":{"citing_paper":"/paper/2502.03765"},"observation_digest":"sha256:af4fe4118299111b399de86cb4d11793efd0986a5c559c82ea665e129fd85f9d","observation_id":"39c0cf69-ceaa-4da1-b98d-fc98e228c6d7","resolution":{"observed_at":"2026-08-09T00:58:43.149451Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:58:42.991574Z","title":"Control barrier functions: Theory and applications,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2502.03765","last_updated":"2025-04-20T17:47:00Z","snapshot_observed_at":"2026-08-15T08:46:40.363357Z","submitted_at":"2025-02-06T03:58:54Z","title":"Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-09T00:58:42.991574Z"},"links":{"citing_paper":"/paper/2502.03765"},"observation_digest":"sha256:6da1e333f1fcb57d7357cbf9bbc3b4f1b4402799d92a09979138cb5a040a3f35","observation_id":"bb096db1-9cb0-4916-bc5e-e2eaae377687","resolution":{"observed_at":"2026-08-09T00:58:42.991574Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:58:43.119547Z","title":"Automated stability analysis of piecewise affine dynamics using vertices,","venue":null,"work_id":"3a61ae11-a773-4c7f-b2c1-ff77b5b08246","year":2023},"citing_paper":{"arxiv_id":"2502.03765","last_updated":"2025-04-20T17:47:00Z","snapshot_observed_at":"2026-08-15T08:46:40.363357Z","submitted_at":"2025-02-06T03:58:54Z","title":"Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-09T00:58:43.017898Z"},"links":{"citing_paper":"/paper/2502.03765"},"observation_digest":"sha256:6d197d28398adcfaf270c4943b7c739ea62d20f2da10d12bb5ade471258be46f","observation_id":"a4e8aff8-3ee0-4047-a594-fc02460040a7","resolution":{"observed_at":"2026-08-09T00:58:43.124894Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:58:43.101308Z","title":"Synthesizing relu neural networks with two hidden layers as barrier certificates for hybrid systems,","venue":null,"work_id":"a3a26e86-2259-4264-aefb-0dbece6b74a7","year":2021},"citing_paper":{"arxiv_id":"2502.03765","last_updated":"2025-04-20T17:47:00Z","snapshot_observed_at":"2026-08-15T08:46:40.363357Z","submitted_at":"2025-02-06T03:58:54Z","title":"Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-09T00:58:43.039801Z"},"links":{"citing_paper":"/paper/2502.03765"},"observation_digest":"sha256:d645eddefd6c237207248f8a19dd899ca89f8bdf7eb8f1e860ca830a59d5d929","observation_id":"89c4a4d6-8aff-445b-ad36-108e072908db","resolution":{"observed_at":"2026-08-09T00:58:43.108071Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"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"}],"state":"measured"}}],"paper":{"arxiv_id":"2502.03765","last_updated":"2025-04-20T17:47:00Z","latest_version":2,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-15T08:46:40.363357Z","submitted_at":"2025-02-06T03:58:54Z","title":"Replacing K-infinity Function with Leaky ReLU in Barrier Function Design: A Union of Invariant Sets Approach for ReLU-Based Dynamical Systems"},"reference_resolution":{"displayed":18,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":4,"verified_exact":0,"verified_fuzzy":14},"total_outbound_references":18},"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 18 of 18 outbound references and 1 inbound Pith citation observation for arXiv:2502.03765."}