{"as_of":"2026-08-17T01:59:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a8b3dcd9cf5a9e2a8370ff978ba8649db29d3676ba6c53d786f4166e5c140a47","coverage":[{"denominator":35,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":35,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T11:27:55.357450Z","state":"measured"},{"denominator":35,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":35,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+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/1908.09323/citation-record","integrity":"/paper/1908.09323/integrity","json":"/paper/1908.09323/citation-record.json","paper":"/paper/1908.09323"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.185469Z","title":"Blanchini and S","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.185469Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:7b9457bc35e13b8943bf19d13dfdb165a8d114675129828abe7e0bac90fecced","observation_id":"d134c2b8-fe28-4d34-8e08-d46eaaaefdce","resolution":{"observed_at":"2026-08-14T11:27:55.185469Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.905532Z","title":"Control barrie r function based quadratic programs with application to adaptive crui se control,","venue":null,"work_id":"7dec673b-6465-4b84-b387-56e87d85cd96","year":2014},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.190964Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:dc0c10791b3adb3d3adbc13deb73edc1d8db06f650d2de0d01c3a441a4a899ec","observation_id":"1a2a5a53-893b-4b81-9f75-a15f3ddbf4ef","resolution":{"observed_at":"2026-08-14T11:27:55.910179Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.196138Z","title":"Control b arrier function based quadratic programs for safety critical syst ems,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.196138Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:4349e39807d5d2cf9625edbbe5db6108cf118bd887c061cdf00d1a8eb7ad9674","observation_id":"23b3eab2-3382-44ff-8c88-d937be97b9fc","resolution":{"observed_at":"2026-08-14T11:27:55.196138Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.879778Z","title":"¨Uber die lage der integralkurven gew¨ ohnlicher differ- entialgleichungen,","venue":null,"work_id":"063441a2-4d21-4c91-834d-54377bc8447f","year":1942},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.201045Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:566e49917fd2ef0a7835f30dd28685c4cb7797608212cbf96e49aa175feddccd","observation_id":"9f93a612-8164-428d-9687-b7bcc8c63983","resolution":{"observed_at":"2026-08-14T11:27:55.884492Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.865320Z","title":"Principe du maximum, in´ egalit´ e de harnac k et unicit´ e du probleme de cauchy pour les op´ erateurs elliptiques d´ eg ´ en´ er´ es,","venue":null,"work_id":"28e4d1d5-a525-4fce-a4be-6edbb62cd844","year":1969},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.206292Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:f36086bce27fce08eb06a9ccb3c1cf65b96cef820d680380a46fc7c9997a1bd8","observation_id":"b14e4a08-85f8-41ab-b848-6e8c26f1492f","resolution":{"observed_at":"2026-08-14T11:27:55.870002Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.850922Z","title":"On a characterization of flow-invariant sets ,","venue":null,"work_id":"9ca7c927-d260-4461-b966-53c7377426af","year":1970},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.211076Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:acfd7018a7a2d34bbb4525a8a678a815768206f55379ca3bd70df44d23e0c901","observation_id":"ee56e590-99b5-4f9f-b25a-1879862e543a","resolution":{"observed_at":"2026-08-14T11:27:55.855409Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.836499Z","title":"On flow-invariant sets.,","venue":null,"work_id":"1edd4c32-5918-49d4-bc95-edd719a48c29","year":1974},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.216561Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:475db8dde31275a1301a3851e65c124d971064933b80d8b97885b5df5a546369","observation_id":"adda1ea3-554b-4298-becc-b1fc18177156","resolution":{"observed_at":"2026-08-14T11:27:55.841213Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.821370Z","title":"The theorems of bony and brezis on flow-inv ariant sets,","venue":null,"work_id":"5a6d09ef-bf84-4724-9a68-79d9d40ac13f","year":1972},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.221435Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:75461c9c6305b9a51ecb8270a94097c9a4b69c5e21fe6d0e5d840ec4e8f92153","observation_id":"f658519a-5c94-49ed-a025-f0cbb9e80c26","resolution":{"observed_at":"2026-08-14T11:27:55.826513Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.806120Z","title":"Safety verification of hybri d systems us- ing barrier certificates,","venue":null,"work_id":"de1d58a0-add4-4d3d-bda8-2afe34bf7a5d","year":2004},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.226069Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:ef72f2ebcbcb9620bdf71b6e6f53c7a9782a539b8207c19fe3d8f49fee854649","observation_id":"5a911fdc-2acc-442f-8d0a-41c368b70c75","resolution":{"observed_at":"2026-08-14T11:27:55.811081Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.790909Z","title":"A framework f or worst- case and stochastic safety verification using barrier certi ficates,","venue":null,"work_id":"8e02d0ca-c0fc-4566-aaa6-3f8e8a08a45d","year":2007},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.230943Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:1eab383a3228a1d27ebd168c31952f51d6a690b1e4a8590b2f9805b98bce2880","observation_id":"ebf466a6-6230-482b-9ca6-078b4e689f76","resolution":{"observed_at":"2026-08-14T11:27:55.795809Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.775902Z","title":"Converse barrier certifica te theorems,","venue":null,"work_id":"e1db7aae-9f16-4756-a2b6-9dbbf7347d15","year":2015},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.235957Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:05eda95bfd445d71e82726d8060ee0878999bf7d7bc0d065393b51517e74ed5a","observation_id":"c634f219-e697-4b51-85e1-d56de1ff3456","resolution":{"observed_at":"2026-08-14T11:27:55.781062Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.760049Z","title":"Aubin, Viability theory","venue":null,"work_id":"c633959c-3851-44a8-8c8b-1c8d845dc118","year":2009},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.240496Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:61e3c3a68656d7a45c3c9581d7f1af7a1ce4e582520ad11f11940d32ebd168e1","observation_id":"74f5d411-0335-4c03-9901-a06b69b59cb1","resolution":{"observed_at":"2026-08-14T11:27:55.765251Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.744513Z","title":"Exponentia l- condition-based barrier certificate generation for safety verification of hybrid systems,","venue":null,"work_id":"363c360a-d1ae-4660-87f4-339d352b3864","year":2013},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.245433Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:14b8ee907b80066a45e78121e4d92844a1b6ebe0e3fbd11ed5fcb7a0387bc445","observation_id":"f9533f15-983a-4b39-98b4-2599ccd7027c","resolution":{"observed_at":"2026-08-14T11:27:55.749407Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.728896Z","title":"Ordinary differential equations,","venue":null,"work_id":"1518dd68-ddc3-4540-b3bb-53f2781509cd","year":1964},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.250249Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:4a2322e319b8479cc90abd258850a2b48bc8960b18f6aa5da3af015c3c847fe3","observation_id":"95960076-3524-49fe-94f7-69ab0eac9de2","resolution":{"observed_at":"2026-08-14T11:27:55.733676Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.713611Z","title":"Pachpatte, Inequalities for differential and integral equations , vol","venue":null,"work_id":"726bfc2b-cbd7-4129-b79f-670d2d2a15a3","year":1997},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.254651Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:60e9549b624ce48f3d6f66b8220942edd333d28cca47c2fb94d23885722eae5b","observation_id":"b922c1eb-d3ef-43fc-9f58-7ffc11d44cc3","resolution":{"observed_at":"2026-08-14T11:27:55.718370Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.697965Z","title":"Lakshmikantham and S","venue":null,"work_id":"09790bae-3804-402d-b097-0b9e53acd98e","year":1969},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.259484Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:579c7463dceadaa011ef0856b4249a3a3ba519d6f2f70e2920a9f7c7e894eb35","observation_id":"6bf2d54d-ef54-4db4-be8d-3ca39c9d41e3","resolution":{"observed_at":"2026-08-14T11:27:55.703063Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.682590Z","title":null,"venue":null,"work_id":"3a78eee8-ff9f-40b9-9f86-e54437e2827c","year":2013},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.264285Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:d18058613d3198fe812ffb60b2efa816c640449631a7e6b7e6b038c8e23b8422","observation_id":"305e6531-e99f-49a2-a7e9-c5af08e02be1","resolution":{"observed_at":"2026-08-14T11:27:55.687462Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.667638Z","title":null,"venue":null,"work_id":"66ce27b5-3fd5-413b-ac92-d8b6e27403d8","year":1993},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.268871Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:e31f7bba8780706411cfb6284721521dc95935c1865b7a5aa6b0c5e360e780f7","observation_id":"bbeea1a2-e2cf-4c1a-8fca-f5f78d5aa87f","resolution":{"observed_at":"2026-08-14T11:27:55.672484Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.651803Z","title":"Characterizations of safety in hybrid inclusions via barrier functions,","venue":null,"work_id":"59c731be-ee73-4e8e-8710-f28d379fa163","year":2019},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.273646Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:a52b517a8b1e4bb2aaaa8dbb12c5379e6cdd84c75b79549ccb360f2b185b300f","observation_id":"8ff63f2d-fd03-4e97-bab4-3d2686490f0d","resolution":{"observed_at":"2026-08-14T11:27:55.657228Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1908.03980","last_updated":"2022-02-23T16:38:06Z","snapshot_observed_at":"2026-08-16T02:25:08.915040Z","submitted_at":"2019-08-12T01:33:00Z","title":"Sufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions","version":4},"cited_work":{"arxiv_id":"1908.03980","doi":null,"metadata_source":"pith","pith_arxiv_id":"1908.03980","snapshot_observed_at":"2026-08-14T11:27:55.413204Z","title":"Sufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions","venue":"math.OC","work_id":"25d98770-9891-406e-a2d2-0581f26d2a7f","year":2019},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.278405Z"},"links":{"cited_paper":"/paper/1908.03980","citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:349574b48a4f212158ecf5ef6327a2ab1963947db573bc4350f0637f8c71d5ad","observation_id":"7d1abedf-98f2-4724-825b-140cf63adbdb","resolution":{"observed_at":"2026-08-14T11:27:55.420541Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.636259Z","title":"Flow-invariant sets and differential inequalities in normed spaces,","venue":null,"work_id":"9a30e556-bc0a-480e-9ea4-881da5eda382","year":1975},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.283994Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:bc7bccd5f3857a75ef83317932e38207c249d95344503a6270f54ddd644ab621","observation_id":"677ecce7-dc7e-44a4-a883-cfe84b07d326","resolution":{"observed_at":"2026-08-14T11:27:55.641425Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1903.11199","last_updated":"2019-03-27T00:27:57Z","snapshot_observed_at":"2026-08-14T16:56:16.331031Z","submitted_at":"2019-03-27T00:27:57Z","title":"Control Barrier Functions: Theory and Applications","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1903.11199","snapshot_observed_at":"2026-08-14T11:27:55.288938Z","title":"Control barrier functions: Theory and appl ications,","venue":null,"work_id":null,"year":1903},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.288938Z"},"links":{"cited_paper":"/paper/1903.11199","citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:650012cb94aebc0570cfe326805794b278f294a2941ee22f1d2f7db0ff7702d8","observation_id":"4b8e8209-15f8-45fd-890f-c5cdccc8a90d","resolution":{"observed_at":"2026-08-14T11:27:55.288938Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.621030Z","title":"Berge, Topological Spaces: including a treatment of multi-valued functions, vector spaces, and convexity","venue":null,"work_id":"e840df39-7a51-49c2-843b-2f72a6118dca","year":1997},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.294142Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:891d8832b035be8d534c2c3d5799fd999b9306c1f63ec83346d58cf3bd76e7a6","observation_id":"7d05329b-099f-4a82-a6da-7f32b0068542","resolution":{"observed_at":"2026-08-14T11:27:55.626009Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.605501Z","title":"Ly usternik’s theorem and the theory of extrema,","venue":null,"work_id":"3d0dfdde-8695-4691-8950-d9c5e4210d62","year":1980},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.299201Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:ddf4fbe7f2983392c6152e964f69c8122b65505bc0544a0c6c82199d948f5f08","observation_id":"7ea07118-a26b-4a84-a525-e4628bfdb1b6","resolution":{"observed_at":"2026-08-14T11:27:55.610493Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.590411Z","title":"Aubin and I","venue":null,"work_id":"866329fc-56e5-4783-8ee3-d9345682bc16","year":2006},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.304462Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:9083ec5fd6a0b254aa9f4f03223024ea7f1b0dc401726f9564ccefc488adccba","observation_id":"3301f097-1fa7-449c-90fe-442254591bd4","resolution":{"observed_at":"2026-08-14T11:27:55.595387Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.574964Z","title":"Stability in nonlinear prog ramming,","venue":null,"work_id":"3e9c3171-2fdb-4918-8883-9a96be9cbea3","year":1970},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.309318Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:5d409dde4d2a5e4ac249eb062c7b1dadb87001e3a66a21659690d253e3a46c58","observation_id":"d704da4f-44e1-4690-850f-6272ff3f2340","resolution":{"observed_at":"2026-08-14T11:27:55.579901Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.560039Z","title":"Continuous selections. i,","venue":null,"work_id":"690f5454-74fb-4f94-b4c5-ad6540b3e75f","year":1956},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.314099Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:917b605c199f0e59518fc1c2234610324be213de3767049d9a56e7c75c080676","observation_id":"ddfcc18f-1744-43c6-af9a-eb79ac3810b6","resolution":{"observed_at":"2026-08-14T11:27:55.564586Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.544125Z","title":"Point-to-set maps in mathematical progra mming,","venue":null,"work_id":"a0f53346-b9db-4594-895e-ec48b8308170","year":1973},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.318804Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:eab614c3f6595da1b83669f0a82dcfec683fe35c68f80ae1a9e607f22f0bf03c","observation_id":"b87cd6eb-2379-4c6a-8a3e-a8c571124667","resolution":{"observed_at":"2026-08-14T11:27:55.549320Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.528417Z","title":"Aubin and A","venue":null,"work_id":"6d0f6981-0fd7-40ae-ae0f-9025c0775e37","year":2012},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.323889Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:e0c15ad94366dcc0afc24ddd1ee6bde84d278c61d36941f43da6a84c34f6bb75","observation_id":"d9859179-871f-40e3-9be6-598a9910111d","resolution":{"observed_at":"2026-08-14T11:27:55.533364Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.495738Z","title":"Continuity an d smooth- ness properties of nonlinear optimization-based feedback controllers,","venue":null,"work_id":"2832ed8d-1f8e-47e4-bdbd-0293f424c38b","year":2015},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.333864Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:62da706ff9586cab3ae12514880775a8f7c774cf52b935e8904f2c1f595928ed","observation_id":"61bebd49-8419-4fec-aade-72935ea79651","resolution":{"observed_at":"2026-08-14T11:27:55.500852Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.480084Z","title":"Control barrier fu nctions for signal temporal logic tasks,","venue":null,"work_id":"92fbc3ff-4dba-4e04-95f8-adaf6a1fbb1a","year":2019},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.338409Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:8e2f1b3a094504db1e10f3e1d307562b4a3dd5778f1ce4212ceac5349eb346ec","observation_id":"9808830e-f4f1-4367-bf31-4ea08bcb2c99","resolution":{"observed_at":"2026-08-14T11:27:55.485016Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.464570Z","title":null,"venue":null,"work_id":"18dfa6b6-f0e0-452a-bf26-75e722e16f3f","year":2006},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.342950Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:30ab18cd294fef55e6e6f201def0616fa8b623439e952ba20ea6d304964257db","observation_id":"d92a3392-824f-4f6f-a856-cc83b3003216","resolution":{"observed_at":"2026-08-14T11:27:55.469408Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.512214Z","title":"Robustn ess of con- trol barrier functions for safety critical control,","venue":null,"work_id":"a6e469a6-c174-409e-b363-9b524b7c2bb2","year":2015},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.347552Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:4a4ce83cb5e1a203e51195ca9b29dff9e70ce9d164f59cf45c5d94e1b333ce9b","observation_id":"adfa8035-ff1b-4978-93f8-7ff4e033cc59","resolution":{"observed_at":"2026-08-14T11:27:55.517881Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.447500Z","title":"Extensions of the Evans-Gould stability theorems for mathematical programs,","venue":null,"work_id":"90b44078-19fa-4d79-aa1e-a859f69aa97c","year":1972},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.352466Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:4aebc10c7e57e9eb477d10cde6ba2e4efbd50ed9886df80b907df707c88398a5","observation_id":"5b0e4fd5-67e0-495d-a3ff-7c3f451a9735","resolution":{"observed_at":"2026-08-14T11:27:55.453253Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:27:55.431702Z","title":null,"venue":null,"work_id":"82d47563-67fd-4855-94fb-74fd9b977444","year":null},"citing_paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems","version":3},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-14T11:27:55.357450Z"},"links":{"citing_paper":"/paper/1908.09323"},"observation_digest":"sha256:39ed0c16fb595bb0511804a6c961f1d534da7436be1080976cd3189899ab868e","observation_id":"920d34e6-3397-4678-92ac-51121925643b","resolution":{"observed_at":"2026-08-14T11:27:55.436476Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1908.09323","last_updated":"2020-05-24T20:33:13Z","latest_version":3,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-16T10:27:00.687983Z","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems"},"reference_resolution":{"displayed":35,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":7,"verified_exact":1,"verified_fuzzy":27},"total_outbound_references":35},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:1908.09323."}