{"as_of":"2026-08-17T17:34:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:004e5d19b42edc4f61b0527b4bc577a5d56b833cdabf862f753fa1e55348e027","coverage":[{"denominator":37,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":37,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T22:04:07.734012Z","state":"measured"},{"denominator":38,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":38,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-02T07:39:47.486139Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-02T07:46:45.590600Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"cited_work":{"arxiv_id":"2505.08559","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2505.08559","snapshot_observed_at":"2026-07-02T07:46:45.590600Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimizati on,","venue":null,"work_id":"6babfcd6-ebfb-407d-abbe-b9c229505b6d","year":2025},"citing_paper":{"arxiv_id":"2607.00644","last_updated":"2026-07-01T08:59:31Z","snapshot_observed_at":"2026-08-07T10:02:43.573704Z","submitted_at":"2026-07-01T08:59:31Z","title":"A Data-Enabled Primal-Dual Approach for Policy Learning with SDP Formulations","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-02T07:39:47.486139Z"},"links":{"cited_paper":"/paper/2505.08559","citing_paper":"/paper/2607.00644"},"observation_digest":"sha256:e1bd154571e2fd1984e6027c1b0aa9568c181c28fcc881fa86c89d76abf8830f","observation_id":"e4ca633d-893d-4062-ac71-11325de85a33","resolution":{"observed_at":"2026-07-02T07:46:45.592098Z","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"}}],"links":{"evidence":"/evidence","html":"/paper/2505.08559/citation-record","integrity":"/paper/2505.08559/integrity","json":"/paper/2505.08559/citation-record.json","paper":"/paper/2505.08559"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T22:04:08.339743Z","title":"Control barrier function based quadratic programs with applicatio n to adaptive cruise control","venue":null,"work_id":"a2c326cc-1e97-4f24-bcca-61f0fc4d2678","year":2014},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.581321Z"},"links":{"citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:0b0c9d902700921f6f272da68b70290fb64dec3dbab4b7dc8cefe345f962c62d","observation_id":"751e8589-8e22-4173-9e95-7e704f9e6438","resolution":{"observed_at":"2026-08-15T22:04:08.343812Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T22:04:08.327201Z","title":"Infinite time reachability of state- space regions by using feedback control","venue":null,"work_id":"d31f00d3-813c-4399-a600-1a90a206489a","year":1972},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.586223Z"},"links":{"citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:751203fd1aac4d74f5c6a81a34d7717032eb1f63a59938c85856767f6a5c9181","observation_id":"6b1d0710-8615-4905-825e-899c2903b6b7","resolution":{"observed_at":"2026-08-15T22:04:08.331441Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"1604.07316","last_updated":"2016-04-25T16:03:56Z","snapshot_observed_at":"2026-07-06T04:53:59.754200Z","submitted_at":"2016-04-25T16:03:56Z","title":"End to End Learning for Self-Driving Cars","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1604.07316","snapshot_observed_at":"2026-08-15T22:04:07.590334Z","title":"End to end learning for self-driving c ars","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.590334Z"},"links":{"cited_paper":"/paper/1604.07316","citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:428436c8b4e6fc8415ca249808ad6e6dee853205b16bea930c5c2551eca1046e","observation_id":"7f69fbc5-7793-4661-a298-0c90cb3874c9","resolution":{"observed_at":"2026-08-15T22:04:07.590334Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2209.00081","last_updated":"2024-11-11T01:04:19Z","snapshot_observed_at":"2026-08-16T16:35:33.978533Z","submitted_at":"2022-08-31T19:31:31Z","title":"A Semi-Algebraic Framework for Verification and Synthesis of Control Barrier Functions","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2209.00081","snapshot_observed_at":"2026-08-15T22:04:07.594733Z","title":"A semi-algebraic framework for verificati on and synthesis of control barrier functions","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.594733Z"},"links":{"cited_paper":"/paper/2209.00081","citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:ebf76824ea19f760d32eda6970a70b0734e3c49bbb0c94bc73b3243702ddcc66","observation_id":"a7f66b46-67dd-4b5c-b507-0b4f057d29d6","resolution":{"observed_at":"2026-08-15T22:04:07.594733Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.07469","last_updated":"2023-02-23T19:43:23Z","snapshot_observed_at":"2026-08-16T15:55:15.225015Z","submitted_at":"2023-02-15T04:47:03Z","title":"Robust Safety under Stochastic Uncertainty with Discrete-Time Control Barrier Functions","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.07469","snapshot_observed_at":"2026-08-15T22:04:07.600628Z","title":"Robust safety under stochastic uncertainty with discrete-time control barrier functions","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.600628Z"},"links":{"cited_paper":"/paper/2302.07469","citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:517911ae97dcf93056968c865471fcc9787b548b5f15baa6413deb63135f8117","observation_id":"6b8b6ff8-d7b7-4788-8d6b-f28eaaa5e7e9","resolution":{"observed_at":"2026-08-15T22:04:07.600628Z","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-15T22:04:08.315347Z","title":"Safe control with learned certificates: A survey of neural lyapunov, barr ier, and contraction methods for robotics and control","venue":null,"work_id":"4ce4d356-456d-4589-b0fd-4441097023a8","year":2023},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.605323Z"},"links":{"citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:e37f7ec5583f1e227619abfd83d4bacf56df7c7446381ed077edba25d17bd01b","observation_id":"69541984-aa43-4463-b952-67abccf8f5da","resolution":{"observed_at":"2026-08-15T22:04:08.319207Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"1311.5240","last_updated":"2013-11-20T21:16:21Z","snapshot_observed_at":"2026-08-14T23:54:32.109219Z","submitted_at":"2013-11-20T21:16:21Z","title":"PENLAB: A MATLAB solver for nonlinear semidefinite optimization","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1311.5240","snapshot_observed_at":"2026-08-15T22:04:07.609945Z","title":"Penlab: A matlab solver for nonlinear semidefinite optimization","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.609945Z"},"links":{"cited_paper":"/paper/1311.5240","citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:6f9f8d155c308dc990c62b5d9c0fe013b9db0083d4429003a97282cd9842530b","observation_id":"635685ae-dd16-4b03-8616-48c50b946891","resolution":{"observed_at":"2026-08-15T22:04:07.609945Z","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-15T22:04:08.302664Z","title":"Formal synthesis of stochastic systems via control barrier certificates","venue":null,"work_id":"cf66f842-d648-49e0-89c1-c5145abe2478","year":2020},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.614352Z"},"links":{"citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:869553035bdee678164cab9c3a5cc1165b388061acd7c337bfb21856f6159bdd","observation_id":"a71c88ad-8cb6-4ab6-b1a7-7d3596424395","resolution":{"observed_at":"2026-08-15T22:04:08.306643Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"2406.05846","last_updated":"2024-09-02T20:06:03Z","snapshot_observed_at":"2026-08-16T13:44:45.157545Z","submitted_at":"2024-06-09T16:34:03Z","title":"Fast and Certifiable Trajectory Optimization","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.05846","snapshot_observed_at":"2026-08-15T22:04:07.618129Z","title":"Fast and certifiable trajectory optimization","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.618129Z"},"links":{"cited_paper":"/paper/2406.05846","citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:e2e36bf206c0e2be12beffea420824b92ea54a4e2b26f173447c867b51d12d40","observation_id":"f3c3994a-78ea-4a16-93ab-837cb46f5cf1","resolution":{"observed_at":"2026-08-15T22:04:07.618129Z","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-15T22:04:08.289283Z","title":"Convex computation of the maximum controlled invariant set for polynomial control systems","venue":null,"work_id":"ea1657af-f934-4648-a6a3-8bbeb8d1f3ad","year":2014},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.622203Z"},"links":{"citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:fd981e343cca2f4ef5234baade50cb8cc554456390a654297ffb20375fb77395","observation_id":"0329258d-dee7-4bda-919f-7a02d8d5ea0a","resolution":{"observed_at":"2026-08-15T22:04:08.293656Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T22:04:08.276697Z","title":"Stochastic stability and contr ol","venue":null,"work_id":"f1740f36-5255-45cf-b49e-fcd90c8baaae","year":1967},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.626029Z"},"links":{"citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:6df1a06b4d8194dc27fc874d2e9d75a260775e6db2a26c336ded3a9437f73c17","observation_id":"6ca4f6b0-8e3b-489c-b280-fca10db7c301","resolution":{"observed_at":"2026-08-15T22:04:08.281301Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"2404.03017","last_updated":"2024-08-03T18:43:14Z","snapshot_observed_at":"2026-08-16T14:03:50.414186Z","submitted_at":"2024-04-03T18:57:54Z","title":"Distributionally Robust Policy and Lyapunov-Certificate Learning","version":2},"cited_work":{"arxiv_id":"2404.03017","doi":null,"metadata_source":"pith","pith_arxiv_id":"2404.03017","snapshot_observed_at":"2026-08-15T22:04:07.924119Z","title":"Distributionally Robust Policy and Lyapunov-Certificate Learning","venue":"eess.SY","work_id":"e9bd32f6-a2b3-4d2e-887b-b4c95b9e583a","year":2024},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.629247Z"},"links":{"cited_paper":"/paper/2404.03017","citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:7663e250b516943efed9ee59b4caa06c43703208ae32c106666032afdcc92c7e","observation_id":"8c829ceb-a508-4412-b909-a630f448884b","resolution":{"observed_at":"2026-08-15T22:04:07.928427Z","resolver_source":"local_arxiv","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T22:04:08.266426Z","title":"Hamilton–jacobi formulation for reach–avoid differential games","venue":null,"work_id":"99cb953d-4d32-41d4-aa65-559f3f2ecf8a","year":2011},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.632742Z"},"links":{"citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:1955f5f9a403b9ec854276abf6af38c5ecc4a80db28ca84a0f529c9bae5c5e68","observation_id":"8d7aabba-fa5a-4be6-be99-720b069d61bf","resolution":{"observed_at":"2026-08-15T22:04:08.269851Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T22:04:08.253692Z","title":"Procrustes metrics on covariance operators and optimal transportation of gaussian processes","venue":null,"work_id":"5f6568b5-4183-43d7-9f6b-3e2d05b101a0","year":2019},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.636259Z"},"links":{"citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:a1983582c3f4d8a2d0333bf03765a9e521aff22cb98bd9edaa7f0b8c95232931","observation_id":"86a03b8b-d296-4189-8195-6afb9b3197b8","resolution":{"observed_at":"2026-08-15T22:04:08.257328Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T22:04:08.243034Z","title":"Safe value functions","venue":null,"work_id":"6b8d4d1f-b195-4daf-ba2e-9b489cb96f30","year":2022},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.640119Z"},"links":{"citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:02172f00393a14b9001e9978d88a6d41c73a6dba8033cc5eea8f607a6939093a","observation_id":"dc4b1391-e289-473f-a11d-17774a64a07f","resolution":{"observed_at":"2026-08-15T22:04:08.246764Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T22:04:08.230842Z","title":"A time-dependent hamilton-jacobi formulation of reachabl e sets for continuous dynamic games","venue":null,"work_id":"3826f923-a13d-495e-8295-e9bf38255b08","year":2005},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.643649Z"},"links":{"citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:f8a2ab6d7595f0883ef83812dcb9802f8a487f8a02024c3426e859988329332e","observation_id":"aa6dc291-43fa-42ec-82ef-555b06942737","resolution":{"observed_at":"2026-08-15T22:04:08.234899Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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-08-15T22:04:07.646999Z","title":"Mean-covariance robust risk measurement","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.646999Z"},"links":{"citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:8686d5af57b1eca7578fce2cc9d94637ebcf85e8706f693c72c104ad8d682477","observation_id":"3799640a-b18b-4b12-983d-94f30b228a78","resolution":{"observed_at":"2026-08-15T22:04:07.646999Z","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-15T22:04:08.218635Z","title":"Semidefinite programming relaxations for semialgebraic problems","venue":null,"work_id":"e6219104-b6e7-440c-843f-addfc847304c","year":2003},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.650994Z"},"links":{"citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:2ecce0787e402b6e6d54e62307d0b511a5c3159810486a089914a9c662d15906","observation_id":"1d293e03-b862-4d5b-b967-ced9e6526130","resolution":{"observed_at":"2026-08-15T22:04:08.223032Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T22:04:08.205451Z","title":"Barrier certificates for nonlinear mod el validation","venue":null,"work_id":"f296a524-e20a-476b-8c85-2831bca9a476","year":2006},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.655029Z"},"links":{"citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:eb0752be69ea0e9a87a7d40fea04c3fcaaa4d1167da8ba6f2e5fceb1fdf3b692","observation_id":"fa67a0d6-fc92-4cc2-ba2f-35df0b35f073","resolution":{"observed_at":"2026-08-15T22:04:08.209506Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T22:04:08.192625Z","title":"A framework for worst-case and stochastic safety verificatio n using barrier certificates","venue":null,"work_id":"ceefa6ec-a8b7-4048-a0e7-0f3d525a7404","year":2007},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.664623Z"},"links":{"citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:96d0b578292ab33b6918b547784a0f0a17c7e2e5f30a2b19e65c8655d2bd60e9","observation_id":"a5c017f6-2db7-4991-ac51-8e05d3e8d67c","resolution":{"observed_at":"2026-08-15T22:04:08.197778Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T22:04:08.175025Z","title":"Application of reachab ility analysis for stochastic hybrid systems to aircraft conflict prediction","venue":null,"work_id":"e1f30ef4-7b1a-46ec-91c1-41bd888c2ed8","year":2008},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.669939Z"},"links":{"citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:3ebcb9a304156a95d8b19f961a166da8d9d7d4f3ec24896d31ad897fc9c4e2be","observation_id":"7c21a883-cf3d-4a27-b37a-0689bde31082","resolution":{"observed_at":"2026-08-15T22:04:08.179215Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T22:04:08.161443Z","title":"Dynamic walking: Toward agile and efficient bipedal robots","venue":null,"work_id":"dc7cb732-e929-42a0-b078-fcf8a3c8630b","year":2021},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.674098Z"},"links":{"citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:12465bff83d4ecbd7b7864991dc3a5709d9f686b14d0ee9fc8c85cd9172c107b","observation_id":"864156a7-71eb-4af2-bec7-5859e0a230eb","resolution":{"observed_at":"2026-08-15T22:04:08.166004Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T22:04:08.149709Z","title":"Learning control barrier functions from expert demonstrations","venue":null,"work_id":"ebae282d-ef96-4f2c-a3af-a25767c08a69","year":2020},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.677487Z"},"links":{"citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:a8b5123455d781e7fcc1388cc30db1bde0fd93301eb86c421ddca80fadc4ef33","observation_id":"fcbee028-7703-4084-9120-5b0e582d8690","resolution":{"observed_at":"2026-08-15T22:04:08.153784Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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-08-15T22:04:07.681723Z","title":"Variational analysis, volume 317","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.681723Z"},"links":{"citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:43e4f65415ef21282823eef0a8ab97e1869bcd0edb680e69366bf51c363a59df","observation_id":"8f256259-f3ad-4df2-996e-e3a053eef0bb","resolution":{"observed_at":"2026-08-15T22:04:07.681723Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T22:04:07.685735Z","title":"Advanced safety filter based on sos control barrier and lyapunov functions","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.685735Z"},"links":{"citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:24d3e92f6e7cdffdea85ecf3407b69ac7b4b1616d2d7ee8355844d74601692f3","observation_id":"0b633ab4-44a1-4892-869d-7034f3067569","resolution":{"observed_at":"2026-08-15T22:04:07.685735Z","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-15T22:04:08.128200Z","title":"Safe control for nonlinear systems with stochastic uncertainty via risk control barrier functions","venue":null,"work_id":"ca74da0e-6e65-4244-83bd-9a5247365dff","year":2022},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.690887Z"},"links":{"citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:d64926c140d004184c807f0ca131c4764ee9e13fbf4230e328911588b2c1bdc6","observation_id":"801f610e-41b4-45ef-b553-32682193bbd2","resolution":{"observed_at":"2026-08-15T22:04:08.131421Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T22:04:08.114495Z","title":"Synthesis of control barrier functions usi ng a supervised machine learning approach","venue":null,"work_id":"7d2fbb39-22f0-461b-be0e-0f7d57072941","year":2020},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.694846Z"},"links":{"citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:193c0730850c32d5d91cea18a573c2493ee189b5741d8629be01c4d61d1c624e","observation_id":"e51f5fd4-9780-43e0-a384-abc6010670dd","resolution":{"observed_at":"2026-08-15T22:04:08.119072Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T22:04:08.102628Z","title":"Searching for control lyapunov functions using sums of squares programming","venue":null,"work_id":"423727b3-3404-48cf-8d68-7b6e62b5b2c9","year":2004},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.698816Z"},"links":{"citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:1c32fa3d233d5354ce57b14197d39debfeb651c8a0a7600960a44021f876d2e6","observation_id":"6e8de572-f306-4753-b1c0-853b9ddcfd72","resolution":{"observed_at":"2026-08-15T22:04:08.107142Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T22:04:08.090014Z","title":"Safety of sampled- data systems with control barrier functions via approximat e discrete time models","venue":null,"work_id":"2505e2c3-c6a2-4026-85b6-75dde209ae44","year":2022},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.702261Z"},"links":{"citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:f431b9db474b28e8a7eabe94e291cee1f4381b56fcf1d60c21525ebcbc16bda5","observation_id":"64ac81a7-c07d-4b61-966f-2c2d74c10f58","resolution":{"observed_at":"2026-08-15T22:04:08.094061Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T22:04:08.076684Z","title":"Etude critique de la notion de collectif","venue":null,"work_id":"181c0a40-cf91-427b-bca4-3a7d7f51e669","year":1939},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.705776Z"},"links":{"citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:1f5610bb10c1a5430c5cc4582c17edf0f84617e6169c0efcdb89a7fd73d7252c","observation_id":"d016e09f-fe4e-4fed-afbc-9553c19b03d8","resolution":{"observed_at":"2026-08-15T22:04:08.081030Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T22:04:08.064039Z","title":"Predictive con trol barrier functions: Enhanced safety mechanisms for learnin g- based control","venue":null,"work_id":"a117e71d-a87b-4250-943f-d02121f310a7","year":2022},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.710261Z"},"links":{"citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:cfd346a1e0fca7496783d4f571cefa91af44ea3e2d1602043db62dba60db4c6e","observation_id":"a787f0f2-53cb-4cfa-a27c-b7613dedbeda","resolution":{"observed_at":"2026-08-15T22:04:08.068918Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T22:04:08.050076Z","title":"Assessing safety for contr ol systems using sum-of-squares programming, 2023","venue":null,"work_id":"04267492-4110-4025-8e23-b9345a1875ed","year":2023},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.714879Z"},"links":{"citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:bc3b1c43166c67fcccdccf323c0e51e0e028957fcba9c3cf68433841b4be4b6f","observation_id":"afbe2cb5-cad3-4f82-8527-953ee0c48dab","resolution":{"observed_at":"2026-08-15T22:04:08.054918Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T22:04:08.036819Z","title":"Safety verification and controller synthesis for systems with inpu t constraints","venue":null,"work_id":"599b3ba5-0191-467e-98fd-d5a5b563f2b0","year":2023},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.718225Z"},"links":{"citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:875755bc6ae00a35c91c4d2533e7f10f068474093cf94875a272cb4e369fa2e0","observation_id":"c2c4218d-8a9c-4eb1-87da-838e0bab9a20","resolution":{"observed_at":"2026-08-15T22:04:08.041342Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"2403.11763","last_updated":"2024-03-18T13:20:38Z","snapshot_observed_at":"2026-08-16T14:08:48.970774Z","submitted_at":"2024-03-18T13:20:38Z","title":"Convex Co-Design of Control Barrier Function and Safe Feedback Controller Under Input Constraints","version":1},"cited_work":{"arxiv_id":"2403.11763","doi":null,"metadata_source":"pith","pith_arxiv_id":"2403.11763","snapshot_observed_at":"2026-08-15T22:04:07.766062Z","title":"Convex Co-Design of Control Barrier Function and Safe Feedback Controller Under Input Constraints","venue":"math.OC","work_id":"392bf99f-9b0d-4035-bda3-14f18375e92a","year":2024},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.722080Z"},"links":{"cited_paper":"/paper/2403.11763","citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:4b27e0d3a7c39171ec1510ce839104e4e17b19f3b664021eb247cfa052416bd6","observation_id":"3ed0acd5-57f5-4431-bd24-e27c4b89ad5f","resolution":{"observed_at":"2026-08-15T22:04:07.772560Z","resolver_source":"local_arxiv","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T22:04:08.023563Z","title":"Simultaneous synthesis and verification of neural control barrier functions through branch-and-bound verification-in-the-loop training","venue":null,"work_id":"d38b3301-5261-49a6-931a-0b592603dfd9","year":2024},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.725766Z"},"links":{"citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:0597137d58ebb66aa0b005b54a091a4e286133682165c89285eaf4195f720b36","observation_id":"6ddbdd90-7386-4df1-8a8e-b4fcdf7f14a0","resolution":{"observed_at":"2026-08-15T22:04:08.027810Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T22:04:08.012460Z","title":"Synthesizing control barrier functions with feasible region iteration for safe reinforcement learning","venue":null,"work_id":"2314451f-4a4f-4020-a971-82fc9804f724","year":2023},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.729937Z"},"links":{"citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:0f01a9d8ba4e4be558776f3458509c6aecf0153552d76ea3ffd53febd21c899d","observation_id":"998624c6-b449-455b-af9e-46d4c4aa0e67","resolution":{"observed_at":"2026-08-15T22:04:08.016009Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T22:04:07.990363Z","title":"Convex synthesis of control barrier functions under input constraints","venue":null,"work_id":"fa4d6f2c-13a0-4a82-830f-6050839300da","year":2023},"citing_paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-15T22:04:07.734012Z"},"links":{"citing_paper":"/paper/2505.08559"},"observation_digest":"sha256:42bbdb83cb938255d6b8ce3e631ae6c384db658fe74f5af369fe9a3ffe977ebb","observation_id":"33abf2de-be56-4cf1-a63c-ea0cc2de0ca8","resolution":{"observed_at":"2026-08-15T22:04:07.995081Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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"}}],"paper":{"arxiv_id":"2505.08559","last_updated":"2025-05-13T13:34:32Z","latest_version":1,"primary_category":"math.OC","snapshot_observed_at":"2026-08-15T21:49:34.047623Z","submitted_at":"2025-05-13T13:34:32Z","title":"Synthesis of safety certificates for discrete-time uncertain systems via convex optimization"},"reference_resolution":{"displayed":37,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":8,"verified_exact":2,"verified_fuzzy":27},"total_outbound_references":37},"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 37 of 37 outbound references and 1 inbound Pith citation observation for arXiv:2505.08559."}