{"as_of":"2026-08-17T14:51:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c1629a9bc58c6d9e0f451dbf5a1d137e156d140033e504627a32456da9c7c765","coverage":[{"denominator":25,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":25,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-27T20:48:25.863768Z","state":"measured"},{"denominator":25,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":25,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2606.07892/citation-record","integrity":"/paper/2606.07892/integrity","json":"/paper/2606.07892/citation-record.json","paper":"/paper/2606.07892"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T20:48:25.863768Z","title":"Set-theoretic methods in control,","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2606.07892","last_updated":"2026-06-05T22:59:46Z","snapshot_observed_at":"2026-08-17T02:59:53.932196Z","submitted_at":"2026-06-05T22:59:46Z","title":"Verification Framework for the Union of Control Barrier Functions","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-27T20:48:25.863768Z"},"links":{"citing_paper":"/paper/2606.07892"},"observation_digest":"sha256:0519e01ae63c8383229c2c38b7cfd2899de200a91b12472bfe73f3293baef438","observation_id":"650f7fd6-9fac-4f3b-9d12-3bcb7913d8cf","resolution":{"observed_at":"2026-06-27T20:48:25.863768Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T20:48:25.863768Z","title":"Control barrier function based quadratic programs for safety critical systems,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2606.07892","last_updated":"2026-06-05T22:59:46Z","snapshot_observed_at":"2026-08-17T02:59:53.932196Z","submitted_at":"2026-06-05T22:59:46Z","title":"Verification Framework for the Union of Control Barrier Functions","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-27T20:48:25.863768Z"},"links":{"citing_paper":"/paper/2606.07892"},"observation_digest":"sha256:5e2ae62bd79997cef4f82608fed50dee88dc69984f0c64b32308a706367179a2","observation_id":"93164668-032b-4b4a-920b-7f65dfd6c725","resolution":{"observed_at":"2026-06-27T20:48:25.863768Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T20:48:25.863768Z","title":"Control barrier functions: Theory and applications,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.07892","last_updated":"2026-06-05T22:59:46Z","snapshot_observed_at":"2026-08-17T02:59:53.932196Z","submitted_at":"2026-06-05T22:59:46Z","title":"Verification Framework for the Union of Control Barrier Functions","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-27T20:48:25.863768Z"},"links":{"citing_paper":"/paper/2606.07892"},"observation_digest":"sha256:aad986390da139857ce5707d98d8c5e86b9528f8e99580c560e7ebd854561262","observation_id":"c17b0c32-2a2f-4255-aa96-913c15519d07","resolution":{"observed_at":"2026-06-27T20:48:25.863768Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T20:48:25.863768Z","title":"Synthesis of control barrier functions using a supervised machine learning approach,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.07892","last_updated":"2026-06-05T22:59:46Z","snapshot_observed_at":"2026-08-17T02:59:53.932196Z","submitted_at":"2026-06-05T22:59:46Z","title":"Verification Framework for the Union of Control Barrier Functions","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-27T20:48:25.863768Z"},"links":{"citing_paper":"/paper/2606.07892"},"observation_digest":"sha256:b9542dcb08a9706b7fb616ae536cffb992a064d1f36dd6c308c0030e910e2368","observation_id":"225b7ec2-84f5-4301-a556-b45212d3da2a","resolution":{"observed_at":"2026-06-27T20:48:25.863768Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T20:48:25.863768Z","title":"Convex synthesis and verification of control- Lyapunov and barrier functions with input constraints,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.07892","last_updated":"2026-06-05T22:59:46Z","snapshot_observed_at":"2026-08-17T02:59:53.932196Z","submitted_at":"2026-06-05T22:59:46Z","title":"Verification Framework for the Union of Control Barrier Functions","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-27T20:48:25.863768Z"},"links":{"citing_paper":"/paper/2606.07892"},"observation_digest":"sha256:0918ccf8a0235103a60a8ea3a01e2bce936b7023bc699113149de18f0de53995","observation_id":"34f4cd28-128e-440d-9312-da33faaf44a7","resolution":{"observed_at":"2026-06-27T20:48:25.863768Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T20:48:25.863768Z","title":"Barriernet: Differentiable control barrier functions for learning of safe robot control,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.07892","last_updated":"2026-06-05T22:59:46Z","snapshot_observed_at":"2026-08-17T02:59:53.932196Z","submitted_at":"2026-06-05T22:59:46Z","title":"Verification Framework for the Union of Control Barrier Functions","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-27T20:48:25.863768Z"},"links":{"citing_paper":"/paper/2606.07892"},"observation_digest":"sha256:4e9448ea93bd96134534618e6c904548c02d550972a1cfd3ce43a88583b87059","observation_id":"81790243-abfc-4cf6-99c5-8a4e0ff26a38","resolution":{"observed_at":"2026-06-27T20:48:25.863768Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T20:48:25.863768Z","title":"Nonsmooth barrier func- tions with applications to multi-robot systems,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2606.07892","last_updated":"2026-06-05T22:59:46Z","snapshot_observed_at":"2026-08-17T02:59:53.932196Z","submitted_at":"2026-06-05T22:59:46Z","title":"Verification Framework for the Union of Control Barrier Functions","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-27T20:48:25.863768Z"},"links":{"citing_paper":"/paper/2606.07892"},"observation_digest":"sha256:5d1fc913c929e0b254319b691aba4cc0e11a39edb6b9318e67108f8e1d6150a9","observation_id":"bfdc4eb6-5e51-4c51-883b-3748aeca6021","resolution":{"observed_at":"2026-06-27T20:48:25.863768Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T20:48:25.863768Z","title":"Composing control barrier functions for complex safety specifications,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.07892","last_updated":"2026-06-05T22:59:46Z","snapshot_observed_at":"2026-08-17T02:59:53.932196Z","submitted_at":"2026-06-05T22:59:46Z","title":"Verification Framework for the Union of Control Barrier Functions","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-27T20:48:25.863768Z"},"links":{"citing_paper":"/paper/2606.07892"},"observation_digest":"sha256:f35b7b2c4923d56b866bc937403671357a488664cff2150d345a741d28184cf5","observation_id":"7275d3e6-ba8a-4be6-b8a9-84c264c63d76","resolution":{"observed_at":"2026-06-27T20:48:25.863768Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.00414","last_updated":"2024-06-29T11:43:05Z","snapshot_observed_at":"2026-08-16T13:38:32.007490Z","submitted_at":"2024-06-29T11:43:05Z","title":"Safe and Stable Filter Design Using a Relaxed Compatibitlity Control Barrier -- Lyapunov Condition","version":1},"cited_work":{"arxiv_id":"2407.00414","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2407.00414","snapshot_observed_at":"2026-07-02T20:17:21.380460Z","title":"Safe and stable filter design using a relaxed compatibitlity control barrier–lyapunov condition,","venue":null,"work_id":"1488435f-8c0a-4fb5-b261-4c4df2c0a736","year":2024},"citing_paper":{"arxiv_id":"2606.07892","last_updated":"2026-06-05T22:59:46Z","snapshot_observed_at":"2026-08-17T02:59:53.932196Z","submitted_at":"2026-06-05T22:59:46Z","title":"Verification Framework for the Union of Control Barrier Functions","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-27T20:48:25.863768Z"},"links":{"cited_paper":"/paper/2407.00414","citing_paper":"/paper/2606.07892"},"observation_digest":"sha256:ff3dd089fba6296d79860a5b7449c8f5985324ee4ac7fd8a48f59691fbf39060","observation_id":"702804a1-6745-4e8a-9036-d6503a899345","resolution":{"observed_at":"2026-07-02T20:17:21.382253Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2006.08465","last_updated":"2020-06-15T15:14:18Z","snapshot_observed_at":"2026-08-13T04:56:59.952772Z","submitted_at":"2020-06-15T15:14:18Z","title":"Neural Certificates for Safe Control Policies","version":1},"cited_work":{"arxiv_id":"2006.08465","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2006.08465","snapshot_observed_at":"2026-07-02T20:17:21.378874Z","title":"Neural certificates for safe control policies","venue":null,"work_id":"1079e78a-2885-4ceb-bf33-2bff50610fc3","year":2006},"citing_paper":{"arxiv_id":"2606.07892","last_updated":"2026-06-05T22:59:46Z","snapshot_observed_at":"2026-08-17T02:59:53.932196Z","submitted_at":"2026-06-05T22:59:46Z","title":"Verification Framework for the Union of Control Barrier Functions","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-27T20:48:25.863768Z"},"links":{"cited_paper":"/paper/2006.08465","citing_paper":"/paper/2606.07892"},"observation_digest":"sha256:6f0d4ea1924c18fb8772cbef2f8ba56696f7d229dd2c3d70bb46cb8dbab6e223","observation_id":"42718e69-a70e-4f28-ada9-1009296017bd","resolution":{"observed_at":"2026-07-02T20:17:21.380466Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-06-27T20:48:25.863768Z","title":"Learning control barrier functions from expert demonstrations,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.07892","last_updated":"2026-06-05T22:59:46Z","snapshot_observed_at":"2026-08-17T02:59:53.932196Z","submitted_at":"2026-06-05T22:59:46Z","title":"Verification Framework for the Union of Control Barrier Functions","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-27T20:48:25.863768Z"},"links":{"citing_paper":"/paper/2606.07892"},"observation_digest":"sha256:92c04c205b3ed8755ad8fef9bd256af3facfed7017384cc2a4e5a216f097e9ea","observation_id":"6c5252d2-4b63-4fc8-8dba-cecb9b66602b","resolution":{"observed_at":"2026-06-27T20:48:25.863768Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T20:48:25.863768Z","title":"Safe control with learned certificates: A survey of neural lyapunov, barrier, and contraction methods for robotics and control,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.07892","last_updated":"2026-06-05T22:59:46Z","snapshot_observed_at":"2026-08-17T02:59:53.932196Z","submitted_at":"2026-06-05T22:59:46Z","title":"Verification Framework for the Union of Control Barrier Functions","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-27T20:48:25.863768Z"},"links":{"citing_paper":"/paper/2606.07892"},"observation_digest":"sha256:6a3e8f9550f2b064cae6f5b02793d06a2acd006289db85b96531af1ae6ac2ad5","observation_id":"c3e66cfd-d546-4511-952e-8ec00b5764d8","resolution":{"observed_at":"2026-06-27T20:48:25.863768Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T20:48:25.863768Z","title":"Exact verification of relu neural control barrier functions,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.07892","last_updated":"2026-06-05T22:59:46Z","snapshot_observed_at":"2026-08-17T02:59:53.932196Z","submitted_at":"2026-06-05T22:59:46Z","title":"Verification Framework for the Union of Control Barrier Functions","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-27T20:48:25.863768Z"},"links":{"citing_paper":"/paper/2606.07892"},"observation_digest":"sha256:4274f929a5e7816619201cdd109c2142aec97e7c6d2324d30bb0ab805bb77047","observation_id":"e529c5a5-c043-45a5-be72-f95411cef5cd","resolution":{"observed_at":"2026-06-27T20:48:25.863768Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T20:48:25.863768Z","title":"Non-smooth control barrier functions for stochastic dynamical systems,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.07892","last_updated":"2026-06-05T22:59:46Z","snapshot_observed_at":"2026-08-17T02:59:53.932196Z","submitted_at":"2026-06-05T22:59:46Z","title":"Verification Framework for the Union of Control Barrier Functions","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-27T20:48:25.863768Z"},"links":{"citing_paper":"/paper/2606.07892"},"observation_digest":"sha256:f4f461610cd7ffe33eba97b08310faecddd2240ee9feb49b9e47116457fc131f","observation_id":"9e774502-6bf6-4117-a5f7-6f86d9447349","resolution":{"observed_at":"2026-06-27T20:48:25.863768Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T20:48:25.863768Z","title":"A nonsmooth approach to controller synthesis for boolean specifications,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.07892","last_updated":"2026-06-05T22:59:46Z","snapshot_observed_at":"2026-08-17T02:59:53.932196Z","submitted_at":"2026-06-05T22:59:46Z","title":"Verification Framework for the Union of Control Barrier Functions","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-27T20:48:25.863768Z"},"links":{"citing_paper":"/paper/2606.07892"},"observation_digest":"sha256:d1b2888c86eefc4c0ce2adec56cb9d5045d601c3d3429b3ce6644ba8c8b44c97","observation_id":"fe72ead2-5a1b-40e1-aaf7-6c7b5949105d","resolution":{"observed_at":"2026-06-27T20:48:25.863768Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T20:48:25.863768Z","title":"Safety control of switched systems via multiple barrier functions,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.07892","last_updated":"2026-06-05T22:59:46Z","snapshot_observed_at":"2026-08-17T02:59:53.932196Z","submitted_at":"2026-06-05T22:59:46Z","title":"Verification Framework for the Union of Control Barrier Functions","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-27T20:48:25.863768Z"},"links":{"citing_paper":"/paper/2606.07892"},"observation_digest":"sha256:cfdb24de83b499de144c6900c1a1542c2ca25caadaa092e963f7404cc73c77a1","observation_id":"5593f18d-6ec3-46cf-a34d-767f7b9b4b4e","resolution":{"observed_at":"2026-06-27T20:48:25.863768Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T20:48:25.863768Z","title":"Verification and synthesis of control barrier functions,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.07892","last_updated":"2026-06-05T22:59:46Z","snapshot_observed_at":"2026-08-17T02:59:53.932196Z","submitted_at":"2026-06-05T22:59:46Z","title":"Verification Framework for the Union of Control Barrier Functions","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-27T20:48:25.863768Z"},"links":{"citing_paper":"/paper/2606.07892"},"observation_digest":"sha256:441866f436d42a728454f64b0954f0d61c7926cb4e9be158c360e6df95c29a13","observation_id":"1ca6f4a9-52c7-4e7e-b1e4-801e5e5dd502","resolution":{"observed_at":"2026-06-27T20:48:25.863768Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T20:48:25.863768Z","title":"Regularity properties of optimization-based controllers,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.07892","last_updated":"2026-06-05T22:59:46Z","snapshot_observed_at":"2026-08-17T02:59:53.932196Z","submitted_at":"2026-06-05T22:59:46Z","title":"Verification Framework for the Union of Control Barrier Functions","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-06-27T20:48:25.863768Z"},"links":{"citing_paper":"/paper/2606.07892"},"observation_digest":"sha256:0e8d29891e00996e1ff4282a4b629a97ecbddf053af35e710cc9db17a47d4fe0","observation_id":"a35bc806-86ec-4b3d-8535-6f97a39e4fc8","resolution":{"observed_at":"2026-06-27T20:48:25.863768Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T20:48:25.863768Z","title":"Continuity and smooth- ness properties of nonlinear optimization-based feedback controllers,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2606.07892","last_updated":"2026-06-05T22:59:46Z","snapshot_observed_at":"2026-08-17T02:59:53.932196Z","submitted_at":"2026-06-05T22:59:46Z","title":"Verification Framework for the Union of Control Barrier Functions","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-06-27T20:48:25.863768Z"},"links":{"citing_paper":"/paper/2606.07892"},"observation_digest":"sha256:5d177753437fd836a1af8b1a25187de52bda8e92622a760a1cefb2413a8d2b77","observation_id":"7f5d91b8-f8e8-4b6e-9921-7d29a7b7c386","resolution":{"observed_at":"2026-06-27T20:48:25.863768Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T20:48:25.863768Z","title":"Characterizing safety: Minimal control barrier functions from scalar comparison systems,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.07892","last_updated":"2026-06-05T22:59:46Z","snapshot_observed_at":"2026-08-17T02:59:53.932196Z","submitted_at":"2026-06-05T22:59:46Z","title":"Verification Framework for the Union of Control Barrier Functions","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-27T20:48:25.863768Z"},"links":{"citing_paper":"/paper/2606.07892"},"observation_digest":"sha256:00556aaad36b7ef7fad395da7281f823a8b3a4f317c7ce637d06e56579a69253","observation_id":"55e57a83-9eeb-4c7a-b583-2d23121d95b1","resolution":{"observed_at":"2026-06-27T20:48:25.863768Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T20:48:25.863768Z","title":"Verification and synthesis of compatible control Lyapunov and control barrier functions,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.07892","last_updated":"2026-06-05T22:59:46Z","snapshot_observed_at":"2026-08-17T02:59:53.932196Z","submitted_at":"2026-06-05T22:59:46Z","title":"Verification Framework for the Union of Control Barrier Functions","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-06-27T20:48:25.863768Z"},"links":{"citing_paper":"/paper/2606.07892"},"observation_digest":"sha256:63dcb8470fcda783435aae216cafe3ba79d00ab973c45aeca40dd9cca3e52555","observation_id":"b1c70c91-7d13-4cbd-a152-6625ee80616c","resolution":{"observed_at":"2026-06-27T20:48:25.863768Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T20:48:25.863768Z","title":"Matousek and B","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2606.07892","last_updated":"2026-06-05T22:59:46Z","snapshot_observed_at":"2026-08-17T02:59:53.932196Z","submitted_at":"2026-06-05T22:59:46Z","title":"Verification Framework for the Union of Control Barrier Functions","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-06-27T20:48:25.863768Z"},"links":{"citing_paper":"/paper/2606.07892"},"observation_digest":"sha256:894adba46000058aefba113ac0355c0e6ea14258fa518b11ee178e55338b192c","observation_id":"97494288-3d94-4d62-8905-2ede8e8f1c74","resolution":{"observed_at":"2026-06-27T20:48:25.863768Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T20:48:25.863768Z","title":"Introducing sostools: A general purpose sum of squares programming solver,","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2606.07892","last_updated":"2026-06-05T22:59:46Z","snapshot_observed_at":"2026-08-17T02:59:53.932196Z","submitted_at":"2026-06-05T22:59:46Z","title":"Verification Framework for the Union of Control Barrier Functions","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-06-27T20:48:25.863768Z"},"links":{"citing_paper":"/paper/2606.07892"},"observation_digest":"sha256:26927cac5acd4c18f45e83afeef18d56941c4a6a2258973a798e16a1461c3147","observation_id":"acfa5676-4081-4407-a39e-61e72509e556","resolution":{"observed_at":"2026-06-27T20:48:25.863768Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T20:48:25.863768Z","title":"Mosek optimizer api for python,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.07892","last_updated":"2026-06-05T22:59:46Z","snapshot_observed_at":"2026-08-17T02:59:53.932196Z","submitted_at":"2026-06-05T22:59:46Z","title":"Verification Framework for the Union of Control Barrier Functions","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-06-27T20:48:25.863768Z"},"links":{"citing_paper":"/paper/2606.07892"},"observation_digest":"sha256:d38c6e4ac5060da72e2b0385161f521ed2520790a7b64fedda6dfd11e8c06a9a","observation_id":"71d9ad08-d843-4fe2-acbd-fba82d8d04a4","resolution":{"observed_at":"2026-06-27T20:48:25.863768Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T20:48:25.863768Z","title":"Liberzon,Switching in systems and control, vol","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2606.07892","last_updated":"2026-06-05T22:59:46Z","snapshot_observed_at":"2026-08-17T02:59:53.932196Z","submitted_at":"2026-06-05T22:59:46Z","title":"Verification Framework for the Union of Control Barrier Functions","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-06-27T20:48:25.863768Z"},"links":{"citing_paper":"/paper/2606.07892"},"observation_digest":"sha256:c67a33b9e1316e3b8d40cab2c256ecaf480de41d0982fb166bcdfbe88f4be56c","observation_id":"5973fb05-da7b-4748-932e-96054c4decef","resolution":{"observed_at":"2026-06-27T20:48:25.863768Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2606.07892","last_updated":"2026-06-05T22:59:46Z","latest_version":1,"primary_category":"math.OC","snapshot_observed_at":"2026-08-17T02:59:53.932196Z","submitted_at":"2026-06-05T22:59:46Z","title":"Verification Framework for the Union of Control Barrier Functions"},"reference_resolution":{"displayed":25,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":23,"verified_exact":2,"verified_fuzzy":0},"total_outbound_references":25},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 25 of 25 outbound references and 0 inbound Pith citation observations for arXiv:2606.07892."}