{"as_of":"2026-08-05T10:09:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:0cab59a226a0288fed7cf8d972f6af58b27f14b1f3751b3a1fe9461ec541cac2","coverage":[{"denominator":42,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":42,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-17T23:35:02.582866Z","state":"measured"},{"denominator":44,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":44,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-05T06:32:48.257954+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-29T16:19:18.692686Z","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-06-29T16:23:39.420462Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"cited_work":{"arxiv_id":"2511.06341","doi":null,"metadata_source":"pith","pith_arxiv_id":"2511.06341","snapshot_observed_at":"2026-06-29T16:23:39.420462Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","venue":"cs.LG","work_id":"4cc677d3-05e9-4ed7-99cd-898ffab1e034","year":2025},"citing_paper":{"arxiv_id":"2605.07757","last_updated":"2026-05-08T13:59:53Z","snapshot_observed_at":"2026-07-06T23:20:06.574823Z","submitted_at":"2026-05-08T13:59:53Z","title":"Efficient Verification of Neural Control Barrier Functions with Smooth Nonlinear Activations","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-05-11T03:05:23.952346Z"},"links":{"cited_paper":"/paper/2511.06341","citing_paper":"/paper/2605.07757"},"observation_digest":"sha256:f38f8cfac0b683d193eee281625540901bac2aa968c5e10da6ad05f44268e49e","observation_id":"4d414bd8-3b8c-46c1-92e1-cdd7e9f7f749","resolution":{"observed_at":"2026-05-11T03:05:53.039208Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"cited_work":{"arxiv_id":"2511.06341","doi":null,"metadata_source":"pith","pith_arxiv_id":"2511.06341","snapshot_observed_at":"2026-06-29T16:23:39.420462Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","venue":"cs.LG","work_id":"4cc677d3-05e9-4ed7-99cd-898ffab1e034","year":2025},"citing_paper":{"arxiv_id":"2605.26577","last_updated":"2026-05-26T05:49:19Z","snapshot_observed_at":"2026-07-06T23:36:25.432687Z","submitted_at":"2026-05-26T05:49:19Z","title":"Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-06-29T16:19:18.692686Z"},"links":{"cited_paper":"/paper/2511.06341","citing_paper":"/paper/2605.26577"},"observation_digest":"sha256:46863d493e826ab11e2b6780554495427c886524caf40ede093226118104167e","observation_id":"04b00fcb-a082-453d-a1f8-58fd1d63d225","resolution":{"observed_at":"2026-06-29T16:23:39.421657Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2511.06341/citation-record","integrity":"/paper/2511.06341/integrity","json":"/paper/2511.06341/citation-record.json","paper":"/paper/2511.06341"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-96145-3_15","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Counterexample guided inductive synthesis modulo theories","venue":"Lecture notes in computer science","work_id":"043095ca-219a-446e-984c-afbcb71e0494","year":2018},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:180851e06726aa5b6dac9f1644e5fc4c2480364705b50390eb872eecd4660d17","observation_id":"73e92c17-3214-46d9-b202-81a9013b580e","resolution":{"observed_at":"2026-05-17T23:35:31.330304Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7928.345664","doi":"10.1145/3447928.3456646","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"FOSSIL: a software tool for the formal synthesis of L yapunov functions and barrier certificates using neural networks","venue":null,"work_id":"9250717a-74a5-4e5d-9223-751116c7ad4a","year":2021},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:48c6868632249e1b8a7bea7bcee78f4ce40005512aa26668b1f66d9dc7ff135f","observation_id":"0979ce0b-25df-40ca-9ca3-a313191882c7","resolution":{"observed_at":"2026-05-17T23:35:31.419772Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2020.300532","doi":"10.1109/lcsys.2020.3005328","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Formal synthesis of lyapunov neural networks","venue":"IEEE Control Systems Letters","work_id":"2bb39e1c-70f3-4039-a7df-64ef31aad24a","year":2021},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:413258f1d303138d18ed7424fd7388d2272e65a1b2194df0c6dd8747f9424a83","observation_id":"130b93f0-d7cb-471e-a85b-9331b43f69ca","resolution":{"observed_at":"2026-05-17T23:35:31.383572Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.15607/rss.2017.xiii.073","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Discrete control barrier functions for safety-critical control of discrete systems with application to bipedal robot navigation","venue":null,"work_id":"e72ce749-c84d-47ec-a23b-d078a9457f8a","year":2017},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:3e199202f4763576cd4f5ebbece2f120332a13de9bf8398c1e6ecba71f587a41","observation_id":"12912cf2-3a05-4f04-b729-169c3720bc0e","resolution":{"observed_at":"2026-05-17T23:35:31.427974Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2014.704037","doi":"10.1109/cdc.2014.7040372","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ames, Jessy W","venue":null,"work_id":"ca127bc3-f783-4896-813f-4e7ee7a884a6","year":2014},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:8b1959c9a722d579b0869424aa13e720d1594730f3ddc2ce473059798c38d635","observation_id":"63454fc5-21d9-4ee1-80e0-bc8ddbd6479f","resolution":{"observed_at":"2026-05-17T23:35:31.424726Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-11T19:49:51.689069+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T19:49:51.689069+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2016.263896","doi":"10.1109/tac.2016.2638961","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Ames, Xiangru Xu, Jessy W","venue":"IEEE Transactions on Automatic Control","work_id":"ea887791-d40e-44d3-86b8-555179e82e6a","year":2016},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:98716c40c8c6137f267af1f05e24f53826fa26cc490cab93bb471ee252d71342","observation_id":"85dd6f65-de01-4514-b3d5-1c5a1d7bc991","resolution":{"observed_at":"2026-05-17T23:35:31.344546Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-11T19:49:51.927478+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T19:49:51.927478+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2019.879603","doi":"10.23919/ecc.2019.8796030","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Control barrier functions: Theory and ap- plications","venue":null,"work_id":"974cc6e8-4b9c-402f-8d5e-e0ec2feea803","year":2019},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:74f52f68a1f0b93a70036893bd9b1c0a286093fd1214ffcc578159be5a58c40f","observation_id":"d6831ef3-e449-4264-9389-6fe98b8f35a1","resolution":{"observed_at":"2026-05-17T23:35:31.396759Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-12T05:19:15.765529+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T05:19:15.765529+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-98679-6_16","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Policy verification in stochastic dynamical systems using logarithmic neural certificates","venue":"Lecture notes in computer science","work_id":"a01efdfc-2ff0-4987-ac8d-e00b7b1b4846","year":2025},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:7fef698180563b59f36c0239324132e49e53e9b4f41acfb764907ce948e5352a","observation_id":"75a7105d-802a-47ec-a635-d17785106e4a","resolution":{"observed_at":"2026-05-17T23:35:31.369068Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2012.622535","doi":"10.1109/icra.2012.6225351","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Barry, Anirudha Majumdar, and Russ Tedrake","venue":null,"work_id":"ed7dd9ce-0a43-4df5-bb1a-522555993f93","year":2012},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:117ee79e823d65800ea386188126fa2f419ec672e867c89c5763ab8ce615ac9f","observation_id":"8212ffb6-f063-4bcc-8d4e-d9d0fff5ff0d","resolution":{"observed_at":"2026-05-17T23:35:31.411914Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2023.111109","doi":"10.1016/j.automatica.2023.111109","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Robust control barrier functions under high relative degree and input constraints for satellite trajectories","venue":"Automatica","work_id":"b005f956-d539-49af-a3ec-a3552b79fd26","year":2023},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:c6e4a17daa857c0f21b93093da9af38c64efdf57b438c589edc9c6363ec61fde","observation_id":"9badfd3f-b35e-4aed-95ee-95faf0ce2ac8","resolution":{"observed_at":"2026-05-17T23:35:31.404790Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5484.2021","doi":"10.1109/cdc45484.2021","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"author Fält, M","venue":null,"work_id":"0d1a7d6f-3312-487a-965a-0f5870c1a304","year":2021},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:b49a123ee1b0008a3f5ab9291c96357c741f06f0999489320f7609206e54e5c7","observation_id":"e5c1447b-c356-4285-a2b9-97f54e5eae4d","resolution":{"observed_at":"2026-05-17T23:35:31.392009Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6638.876643","doi":"10.1145/876638.876643","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, and Helmut Veith","venue":"Journal of the ACM","work_id":"10d6565c-fb02-4d01-b1d4-2c14057f67a4","year":2003},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:f39ab1bbd6ee4c6fd0596dce3f558db1ab2b876329987a40c0318933d58a29be","observation_id":"b739ae93-d008-4c8c-ad32-8a50cb9b3065","resolution":{"observed_at":"2026-05-17T23:35:31.377384Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Discrete differential geometry: An applied introduction","venue":null,"work_id":"2db7f060-ae8d-41af-b7a6-201a9342fc45","year":2018},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:d412e1a603b4b25afc4a5257b4db6da30625ed5134cabe323e84ff47bc1fc11c","observation_id":"c4de4f78-336e-4069-96c2-9849150beed3","resolution":{"observed_at":"2026-05-17T23:35:31.649018Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2022.323254","doi":"10.1109/tro.2022.3232542","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Safe control with learned certificates: A survey of neural lyapunov, barrier, and contraction methods for robotics and control","venue":"IEEE Transactions on Robotics","work_id":"67cf0d90-38b8-413b-88d3-dac10d8e8445","year":2023},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:9e2a3dec368e184027890619946b95ab2a0fb060e3365936e49c541fea03e09b","observation_id":"792b62d1-0804-4e52-9283-04c1f3d22929","resolution":{"observed_at":"2026-05-17T23:35:31.416061Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-75454-1_10","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Automatic abstraction refinement for timed automata","venue":"Lecture notes in computer science","work_id":"11213d75-a50a-4aeb-aea0-b56bb86ae93b","year":2007},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:172e0906bd69f273d82ed217670acb4a0b8429a6c6dae45acc2ea415f6a515b1","observation_id":"38d47cb4-4bfb-4482-b4a7-6e771481e0c7","resolution":{"observed_at":"2026-05-17T23:35:31.386577Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1513.365139","doi":"10.1145/3641513.3651398","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Fossil 2.0: Formal certificate synthesis for the verification and control of dynamical models","venue":null,"work_id":"233fe820-5872-41b6-a69f-fcf04006c62e","year":2024},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:8b5293c61bb42f6e083f2c63a49dfda23335297319b92a71828442c75036f864","observation_id":"18718ad5-1299-46e1-a702-3b046168bbab","resolution":{"observed_at":"2026-05-17T23:35:31.348989Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Pawan Kumar","venue":null,"work_id":"a29c9354-4c1f-4211-bf45-8281a147c05a","year":2024},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:a671ddc18af938f6d5a064835da6bf2779db2594f83fb2a3cb450c746e306d90","observation_id":"76e87d90-438b-4e4d-85c1-496d1c5685bb","resolution":{"observed_at":"2026-05-17T23:35:31.659989Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-38574-2_14","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"[GM25] Jorge Gallego-Hernández and Alessio Mansutti","venue":"Lecture notes in computer science","work_id":"383fca39-4aea-4be6-9417-57de7649eca8","year":2025},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:dd34f1e68e2d45ffeec15f0b9b53be7284dcd06558eb43b30f259269773207fe","observation_id":"ba58f564-4e78-406c-8e0f-7b6322cf3d5e","resolution":{"observed_at":"2026-05-17T23:35:31.333795Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1146/annurev-control-071723-102940","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Annual Review of Control, Robotics, and Autonomous Systems7(2024).https://doi.org/10.1146/ANNUREV-CONTROL-071723-102940","venue":"Annual Review of Control Robotics and Autonomous Systems","work_id":"2184fab2-a916-4551-9e0d-452c56bc12b0","year":2024},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:2fa62bdc5c7adf4b25536b3d61711f1748f05cb47c25d50139726f5d3d1ee943","observation_id":"a383fd6c-1110-4d7b-9c8e-86319da1dcf0","resolution":{"observed_at":"2026-05-17T23:35:31.352286Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Verification of neural control barrier functions with symbolic derivative bounds propagation","venue":null,"work_id":"3a50e6a7-075c-49e5-9eb9-879778de32df","year":2024},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:2854cabe30da2143ff4d5fcf6476147f74919dc600a4ac69080e9bc706a8cf46","observation_id":"7ab3616a-4c73-4960-9b2f-0a12b85e6833","resolution":{"observed_at":"2026-05-17T23:35:31.651787Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10703-023-00442-x","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Parameter synthesis for markov models: covering the parameter space","venue":"Formal Methods in System Design","work_id":"bd843749-2471-4825-96ee-d80ead164f0f","year":2024},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:39526804773f4bdf7d51478f4026479c7a37f44f0ad2b26982b557e2a268d845","observation_id":"77e5be9b-37d8-4812-b224-506ce6816464","resolution":{"observed_at":"2026-05-17T23:35:31.434568Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1999.815604","doi":"10.1109/icsmc.1999.815604","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Kimura and S","venue":null,"work_id":"3b5b122e-d984-4cfe-9d47-0eb6c0cdb272","year":1999},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:ea25cdf50be5e66c19620a5bcb81ea3c9c3ebcc454246f5281811629cc8d6376","observation_id":"85a2a4b3-da01-4408-a0e2-bafd8e70268d","resolution":{"observed_at":"2026-05-17T23:35:31.361328Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-19249-9_23","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Abstraction of elementary hybrid systems by variable transformation","venue":"Lecture notes in computer science","work_id":"a3ca8fe1-3dca-4fd8-ad37-56a97824ee5f","year":2015},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:c0c1f68fd20242f17b91029d4a42ca1c3b9d0a388456c4151e4a9197c6a256ce","observation_id":"67a9d0b7-c2a4-4a63-a3b1-f5d83cb4e05f","resolution":{"observed_at":"2026-05-17T23:35:31.379930Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2022.322986","doi":"10.1109/lcsys.2022.3229865","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Calvert, and Luca Laurenti","venue":"IEEE Control Systems Letters","work_id":"ca947299-bba2-486a-974a-98db0f58f1e4","year":2022},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:4c5c1feb3141d41943ccee388b3e317df3d761e820a81ae2324c4f9753bc297a","observation_id":"0c84aaea-f929-4734-8ff8-4a5249b88ed8","resolution":{"observed_at":"2026-05-17T23:35:31.447423Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.15497","last_updated":"2026-06-02T21:05:30Z","snapshot_observed_at":"2026-07-06T21:27:47.396757Z","submitted_at":"2025-05-21T13:22:20Z","title":"Certified Neural Approximations of Nonlinear Dynamics","version":3},"cited_work":{"arxiv_id":"2505.15497","doi":"10.48550/arxiv.2505.15497","metadata_source":"arxiv_reference","pith_arxiv_id":"2505.15497","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Certified neural approximations of nonlinear dynamics","venue":"ArXiv.org","work_id":"40a97e88-dc8a-45d2-8250-7bc6dc800c94","year":2025},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"cited_paper":"/paper/2505.15497","citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:690fc706c6934eb59dd3bc05e6866cc75f9c70737a543b6f30ebd899a43b9cb7","observation_id":"76c6347a-894f-49a6-a254-7cf9b786e961","resolution":{"observed_at":"2026-06-04T02:07:03.548092Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bf01580665","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Mathematical Programming 10(1), 147–175 (1976)","venue":"Mathematical Programming","work_id":"bdb541b3-a571-4e38-9038-561e66c64dcb","year":1976},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:08e66ffe11bba09b59ccc33dec955e9bdeaae438008de8a4b390b8f90510c306","observation_id":"035b252f-fc39-4707-8ce2-2b739f34617b","resolution":{"observed_at":"2026-05-17T23:35:31.399708Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-07-15T19:50:48.142708+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-15T19:50:48.142708+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-72016-2_20","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Automated and formal synthesis of neural barrier certificates for dynamical models","venue":"Lecture notes in computer science","work_id":"1675d1cb-285c-482c-9750-050f3536f7b9","year":2021},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:56d02e0f8eaa1ff8c3ba6ae771c53bfed9407d7448819d121f06dfef86f152e6","observation_id":"4c5ac330-842f-4768-98c5-893a08fdada4","resolution":{"observed_at":"2026-05-17T23:35:31.430881Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.automatica.2005.08.007","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Barrier certificates for nonlinear model validation","venue":"Automatica","work_id":"0b41741c-b5a9-4c83-9ff8-8e847510a0f8","year":2006},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:1a3ecb72010f23f586b7f618636c0a292526cc990cb8d8574108ef79454d1d79","observation_id":"67753185-b15f-4805-8d90-b327f7cfecae","resolution":{"observed_at":"2026-05-17T23:35:31.319574Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8074.2021","doi":"10.1109/dac18074.2021","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: ACM/IEEE Design Automation Con- ference","venue":null,"work_id":"a4cbe1ae-99ab-47ac-9ca5-92333e2374fe","year":2021},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:9cbaaa70090855ba9bd4efa78e7da99685e1a9024c20e03534dca2927cd9caaa","observation_id":"e2ed5642-34a6-4827-80e1-7f47181c0367","resolution":{"observed_at":"2026-05-17T23:35:31.357194Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-05-24T01:24:44.401594+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-24T01:24:44.401594+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2019.295231","doi":"10.1109/tcst.2019.2952317","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Control barrier functions for mechanical systems: Theory and application to robotic grasping","venue":"IEEE Transactions on Control Systems Technology","work_id":"de1f7873-3ce4-4d83-a71a-6a08c2b6798a","year":2021},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:7dd04090dffcbdfc71b6aa13809b848b78f561710f9cd29a276a0634c591e337","observation_id":"4e721b49-c0ff-443a-b00f-8556d8bfffce","resolution":{"observed_at":"2026-05-17T23:35:31.323878Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-90643-5_17","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Neural network verification with branch-and-bound for general nonlinearities","venue":"Lecture notes in computer science","work_id":"e31aff04-37d5-4e66-a94b-ca6839b48406","year":2025},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:cc260d7462ed77da266d0813196baeedc13eae58637bed9d222bc7ac8098c97f","observation_id":"6483fcab-8bfd-44cf-a937-eda65fd24857","resolution":{"observed_at":"2026-05-17T23:35:31.438383Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-05-26T00:24:23.610169+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-26T00:24:23.610169+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-45873-5_36","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Series of abstractions for hybrid automata","venue":"Lecture notes in computer science","work_id":"4ef6691e-3738-41f8-9d53-a7e5d7347bbd","year":2002},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:2d247de7dccb19a7ac7d669fc750aa1aa89680895b22af08892a87d2b5c28148","observation_id":"8d69bd99-5b89-4f61-86ba-4efa0516db58","resolution":{"observed_at":"2026-05-17T23:35:31.327008Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2023.329188","doi":"10.1109/mcs.2023.3291885","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Wabersich, Andrew J","venue":"IEEE Control Systems","work_id":"881f23fe-c518-4935-a2f0-f830329e9127","year":2023},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:61b4c09079d4d6cf1fd0a59dd7bf4a6cf12c0db281da5bc8d68772d74034fc7a","observation_id":"5fac1544-3457-45c8-8e10-aa8410593ff9","resolution":{"observed_at":"2026-05-17T23:35:31.365986Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-38659-6_7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Assessing Safety for Control Systems Using Sum -of- Squares Programming","venue":"Springer optimization and its applications","work_id":"2a1109e8-6cc7-4a91-b8a4-f290c09badb8","year":2023},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:cc092960df22e1a56620b0c94607a55ad75428bf605eeb2a8f20b96861103534","observation_id":"d4da94e4-5c18-4116-aabf-797e2ad0b0ce","resolution":{"observed_at":"2026-05-17T23:35:31.407914Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Robust explanation constraints for neural networks","venue":null,"work_id":"c94213b5-a4b0-443f-81af-f1a6cac176d2","year":2023},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:e79b098d896718fa7c1217b2a3beaf70e36f3f48251d8836ad85ebe6f8784214","observation_id":"d936e2dc-7f78-40c5-ac08-45df5c31a18e","resolution":{"observed_at":"2026-05-17T23:35:31.657310Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2021.310549","doi":"10.1109/tac.2021.3105491","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"High-order control barrier functions","venue":"IEEE Transactions on Automatic Control","work_id":"f9c1b25c-bdfb-4e35-8c0e-eb0daf8b62be","year":2022},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:077b64661cc413e350037ede3afeb293a9c8fdc6d38e681150e51661d36b8ab4","observation_id":"5c3dde77-0375-4c83-bbda-8853fe2bb885","resolution":{"observed_at":"2026-05-17T23:35:31.443226Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8478.296848","doi":"10.1145/2968478.2968482","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Locally optimal reach set over-approximation for nonlinear systems","venue":null,"work_id":"fa3a1761-1654-4e43-93a4-8e3c2ae56179","year":2016},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:c4b34c05e5c3514f547d5290ddfd0c792df7143e11ef64c20f47bef3241ad571","observation_id":"49e7fa20-cf68-400f-a0fc-1c0aa7a4b2e2","resolution":{"observed_at":"2026-05-17T23:35:31.338855Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-05-30T22:55:28.362366+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-30T22:55:28.362366+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Exact verification of relu neural control barrier functions","venue":null,"work_id":"98458aed-11d3-4f39-89c4-68694881bdd0","year":2023},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:ff7c0adc02091c11fce9b014ce6391430e8292328f7cf68c770a086de8aae38f","observation_id":"7033a872-be27-4c3d-b029-6408990dc9db","resolution":{"observed_at":"2026-05-17T23:35:31.646345Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+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-06-05T21:23:00.469572Z","title":"Efficient neural network robustness certification with general activation functions","venue":null,"work_id":"da80b0a6-f272-46f6-ac9b-4262679e44df","year":2018},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:501f5a2359e1988f95803e59df75936a0fef2603bc2950d71dc091841e4acbf1","observation_id":"3d76cff2-e7f2-492d-b4a4-54c43434f2fc","resolution":{"observed_at":"2026-05-17T23:35:31.654513Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5365.338222","doi":"10.1145/3365365.3382222","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Synthesizing barrier certificates using neural networks","venue":null,"work_id":"e3f255f6-0212-4ca0-93a8-4cdea8af8592","year":2020},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:40d49c26b969683f44f5be1b6a4ebc84d0e5672ea41caa987d2c485f1dae2d07","observation_id":"96eb45f9-a846-4b54-9615-d34bf28ee9d0","resolution":{"observed_at":"2026-05-17T23:35:31.307402Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1710.351951","doi":"10.1145/3501710.3519511","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Verifying neural network controlled systems using neural networks","venue":null,"work_id":"f6140938-df87-4708-98e8-6a123a892884","year":2022},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:4745af7dde2869cda0d6fe61bc075a9a4b7406d4155f1cca031721af30d27cf6","observation_id":"a61ce879-347d-478f-a955-070e109948d9","resolution":{"observed_at":"2026-05-17T23:35:31.295672Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1609/aaai.v37i10.26407","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Henzinger, and Krishnendu Chatterjee","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","work_id":"92836335-4a4d-4923-8106-816ab6c2f95d","year":2023},"citing_paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","version":2},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-05-17T23:35:02.582866Z"},"links":{"citing_paper":"/paper/2511.06341"},"observation_digest":"sha256:968bed92169d2f359bcbe97d8e95cc08612ee760cb14cdee9faf1d0a4d5abd97","observation_id":"a39e20d3-d260-4ad5-b192-dc819421c673","resolution":{"observed_at":"2026-05-17T23:35:31.311687Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2511.06341","last_updated":"2026-04-14T10:35:34Z","latest_version":2,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-03T03:12:40.245366Z","submitted_at":"2025-11-09T11:51:15Z","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation"},"reference_resolution":{"displayed":42,"state_counts":{"malformed_identifier":0,"metadata_mismatch":4,"parse_uncertain":0,"unresolved":0,"verified_exact":32,"verified_fuzzy":6},"total_outbound_references":42},"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-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"thesis":"As of 5 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 2 inbound Pith citation observations for arXiv:2511.06341."}