{"as_of":"2026-08-20T18:00:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c7e0c85afaab5589c08f46743a4dfa645a6cd3a7736952358ea7a673b92fc4b5","coverage":[{"denominator":28,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":28,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T05:03:41.699382Z","state":"measured"},{"denominator":28,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":28,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+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/2504.21643/citation-record","integrity":"/paper/2504.21643/integrity","json":"/paper/2504.21643/citation-record.json","paper":"/paper/2504.21643"},"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-16T05:03:42.058740Z","title":"Achieving sustainable aquaculture: Historical and current perspectives and future needs and challenges","venue":null,"work_id":"04ad6d25-bab1-4e2a-b1b2-546d5f11e7ff","year":2020},"citing_paper":{"arxiv_id":"2504.21643","last_updated":"2025-04-30T13:47:25Z","snapshot_observed_at":"2026-08-16T04:54:54.118009Z","submitted_at":"2025-04-30T13:47:25Z","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-16T05:03:41.601273Z"},"links":{"citing_paper":"/paper/2504.21643"},"observation_digest":"sha256:674fc727f97db0220a8823cd7ded73334a869ca06030243b09fb636cabdc4cb3","observation_id":"a0b69776-f6f7-430e-be17-63f4bfd2f4fb","resolution":{"observed_at":"2026-08-16T05:03:42.061899Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T05:03:42.048405Z","title":"Aspects of precision agriculture","venue":null,"work_id":"2bc4ad25-f248-453b-a5ab-1781eb196469","year":1999},"citing_paper":{"arxiv_id":"2504.21643","last_updated":"2025-04-30T13:47:25Z","snapshot_observed_at":"2026-08-16T04:54:54.118009Z","submitted_at":"2025-04-30T13:47:25Z","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-16T05:03:41.605430Z"},"links":{"citing_paper":"/paper/2504.21643"},"observation_digest":"sha256:7b30541ace342977fb09f3e7e6a38058344c44a6e3ef190c18481f284aaa6c47","observation_id":"d19e01a5-be56-405b-b748-681d6f8b71e1","resolution":{"observed_at":"2026-08-16T05:03:42.052007Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T05:03:42.037249Z","title":"The challenges and opportunities for the use of robotic autonomous robotic systems in support of the blue economy","venue":null,"work_id":"875a6e63-505e-44f3-9baf-3a4c200c04ab","year":2023},"citing_paper":{"arxiv_id":"2504.21643","last_updated":"2025-04-30T13:47:25Z","snapshot_observed_at":"2026-08-16T04:54:54.118009Z","submitted_at":"2025-04-30T13:47:25Z","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-16T05:03:41.608997Z"},"links":{"citing_paper":"/paper/2504.21643"},"observation_digest":"sha256:8d2b0ff3b84bae6203722d9ed526648ced4b932c289ab11cb9ebabafda0ef321","observation_id":"77c4734d-ecc0-4ff4-b409-094a36e13953","resolution":{"observed_at":"2026-08-16T05:03:42.040947Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T05:03:42.025695Z","title":"Dec-mcts: Decentralized planning for multi-robot active perception","venue":null,"work_id":"9e406709-df60-4291-9395-fbcc0efa89da","year":2019},"citing_paper":{"arxiv_id":"2504.21643","last_updated":"2025-04-30T13:47:25Z","snapshot_observed_at":"2026-08-16T04:54:54.118009Z","submitted_at":"2025-04-30T13:47:25Z","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-16T05:03:41.612706Z"},"links":{"citing_paper":"/paper/2504.21643"},"observation_digest":"sha256:be6ef0595c3bf44b01831d7e77e40efd28371dbdc2175bcb18d927d424c2fba7","observation_id":"ece5d5b2-f87a-4ff5-a26e-d5c200234d7e","resolution":{"observed_at":"2026-08-16T05:03:42.029830Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T05:03:42.014573Z","title":"A markov decision process approach for decentralized uav formation path planning","venue":null,"work_id":"6cae421d-9af5-4b49-a343-62cb4b4904cc","year":2024},"citing_paper":{"arxiv_id":"2504.21643","last_updated":"2025-04-30T13:47:25Z","snapshot_observed_at":"2026-08-16T04:54:54.118009Z","submitted_at":"2025-04-30T13:47:25Z","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-16T05:03:41.616390Z"},"links":{"citing_paper":"/paper/2504.21643"},"observation_digest":"sha256:4931b4f032d0bcbe6abb7e2be66c87571462dddacf16d403f72c4400f9b9ad2b","observation_id":"32832a08-4c14-43a2-87b3-d372ac5ebf08","resolution":{"observed_at":"2026-08-16T05:03:42.018735Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T05:03:42.001966Z","title":"Path re-planning with stochastic obstacle modeling: A monte carlo tree search approach","venue":null,"work_id":"48df7985-2d69-4810-9506-2e897c213675","year":2024},"citing_paper":{"arxiv_id":"2504.21643","last_updated":"2025-04-30T13:47:25Z","snapshot_observed_at":"2026-08-16T04:54:54.118009Z","submitted_at":"2025-04-30T13:47:25Z","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-16T05:03:41.620460Z"},"links":{"citing_paper":"/paper/2504.21643"},"observation_digest":"sha256:4a8b745217d75a8c2d0349d8e0af658f97e036e9ef9e9e9f3cb09a1e22b158ec","observation_id":"67750503-08f3-4bae-a883-7b565268c3b8","resolution":{"observed_at":"2026-08-16T05:03:42.006294Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T05:03:41.988365Z","title":"An online path planner based on pomdp for uavs","venue":null,"work_id":"25b667be-ab1f-405b-b731-9052951016fb","year":2023},"citing_paper":{"arxiv_id":"2504.21643","last_updated":"2025-04-30T13:47:25Z","snapshot_observed_at":"2026-08-16T04:54:54.118009Z","submitted_at":"2025-04-30T13:47:25Z","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-16T05:03:41.624456Z"},"links":{"citing_paper":"/paper/2504.21643"},"observation_digest":"sha256:b69085337c592a072586dc18c52c52a38afed53442203a3857470bd9df15f39f","observation_id":"867eb752-1ae8-44eb-b190-c2728bd263fe","resolution":{"observed_at":"2026-08-16T05:03:41.992963Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T05:03:41.974101Z","title":"Safety gymnasium: A unified safe reinforcement learning benchmark","venue":null,"work_id":"1cb6de95-2b3a-43cb-9e19-48d8c42893c9","year":2023},"citing_paper":{"arxiv_id":"2504.21643","last_updated":"2025-04-30T13:47:25Z","snapshot_observed_at":"2026-08-16T04:54:54.118009Z","submitted_at":"2025-04-30T13:47:25Z","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-16T05:03:41.628032Z"},"links":{"citing_paper":"/paper/2504.21643"},"observation_digest":"sha256:ebfb38d37b76aed06f49ddef72b9f055ec47eeb4fcfc877c374930c3fbe56c49","observation_id":"c2442f1f-f580-44d4-a39c-10be27485c65","resolution":{"observed_at":"2026-08-16T05:03:41.978354Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T05:03:41.960530Z","title":"Online safety property collection and refinement for safe deep reinforcement learning in mapless navigation","venue":null,"work_id":"9f47ca73-8656-4658-94e1-d4f4c960b92a","year":2023},"citing_paper":{"arxiv_id":"2504.21643","last_updated":"2025-04-30T13:47:25Z","snapshot_observed_at":"2026-08-16T04:54:54.118009Z","submitted_at":"2025-04-30T13:47:25Z","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-16T05:03:41.631677Z"},"links":{"citing_paper":"/paper/2504.21643"},"observation_digest":"sha256:04c6d1645641b29e684278946bfe239ddca3a56d620fb426102c438f4e844f59","observation_id":"fe7c9576-d249-4249-926e-7a2720e08a18","resolution":{"observed_at":"2026-08-16T05:03:41.965096Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T05:03:41.947920Z","title":"Omnisafe: An infrastructure for accelerating safe reinforcement learning research","venue":null,"work_id":"2222b864-29e7-4105-ac4c-c86c9bc3a4e2","year":2024},"citing_paper":{"arxiv_id":"2504.21643","last_updated":"2025-04-30T13:47:25Z","snapshot_observed_at":"2026-08-16T04:54:54.118009Z","submitted_at":"2025-04-30T13:47:25Z","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-16T05:03:41.635093Z"},"links":{"citing_paper":"/paper/2504.21643"},"observation_digest":"sha256:e8970f935ee8f0499ff39cfa5534df8c172f66ef09800609b8978caae855b499","observation_id":"2df2f36e-840c-48a2-8591-889f318cfe8c","resolution":{"observed_at":"2026-08-16T05:03:41.952060Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T05:03:41.936908Z","title":"Donti, Changliu Liu, and Enrico Marchesini","venue":null,"work_id":"e67d87dc-a8ff-4c60-bdde-a71929ad7f57","year":2025},"citing_paper":{"arxiv_id":"2504.21643","last_updated":"2025-04-30T13:47:25Z","snapshot_observed_at":"2026-08-16T04:54:54.118009Z","submitted_at":"2025-04-30T13:47:25Z","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-16T05:03:41.638951Z"},"links":{"citing_paper":"/paper/2504.21643"},"observation_digest":"sha256:894c636b666b57d12a3b999db6b02d0f9271cf0e0d1424303ba35b4bb48cfd06","observation_id":"09dbf4b2-33c3-42ab-b6a5-bc8d423e52e8","resolution":{"observed_at":"2026-08-16T05:03:41.940149Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1312.6199","last_updated":"2014-02-19T16:33:14Z","snapshot_observed_at":"2026-08-15T16:41:15.505782Z","submitted_at":"2013-12-21T03:36:08Z","title":"Intriguing properties of neural networks","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1312.6199","snapshot_observed_at":"2026-08-16T05:03:41.642552Z","title":"Intriguing properties of neural networks","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2504.21643","last_updated":"2025-04-30T13:47:25Z","snapshot_observed_at":"2026-08-16T04:54:54.118009Z","submitted_at":"2025-04-30T13:47:25Z","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-16T05:03:41.642552Z"},"links":{"cited_paper":"/paper/1312.6199","citing_paper":"/paper/2504.21643"},"observation_digest":"sha256:3110d2f40975334adac68ffe4ab2d9730e5d850fe9bd6b62a83c063dc6116274","observation_id":"562e829b-8412-478d-bba5-77a949bda1bd","resolution":{"observed_at":"2026-08-16T05:03:41.642552Z","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-16T05:03:41.925908Z","title":"Verifying learning-based robotic navigation systems","venue":null,"work_id":"862dc2aa-7110-4b33-a460-e8d676f3f486","year":2023},"citing_paper":{"arxiv_id":"2504.21643","last_updated":"2025-04-30T13:47:25Z","snapshot_observed_at":"2026-08-16T04:54:54.118009Z","submitted_at":"2025-04-30T13:47:25Z","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-16T05:03:41.646594Z"},"links":{"citing_paper":"/paper/2504.21643"},"observation_digest":"sha256:f1fd1a62cbcf4dc9025952b3815b9592216b7211533af078dd937f47dd396b2c","observation_id":"a06ee7fe-791c-482f-87bf-6fa6c39dd3ea","resolution":{"observed_at":"2026-08-16T05:03:41.929473Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T05:03:41.650449Z","title":"Algorithms for verifying deep neural networks","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.21643","last_updated":"2025-04-30T13:47:25Z","snapshot_observed_at":"2026-08-16T04:54:54.118009Z","submitted_at":"2025-04-30T13:47:25Z","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-16T05:03:41.650449Z"},"links":{"citing_paper":"/paper/2504.21643"},"observation_digest":"sha256:5e76038ae43590dbf328c17d7f03cb610c9ec3be1ef9769f164291606fecdd6f","observation_id":"e41bec8e-415b-44a2-a3dd-839a5493d1cc","resolution":{"observed_at":"2026-08-16T05:03:41.650449Z","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-16T05:03:41.904577Z","title":"Proven: Verifying robustness of neural networks with a probabilistic approach","venue":null,"work_id":"e8958390-df17-4ebe-87a7-4d4dae16614a","year":2019},"citing_paper":{"arxiv_id":"2504.21643","last_updated":"2025-04-30T13:47:25Z","snapshot_observed_at":"2026-08-16T04:54:54.118009Z","submitted_at":"2025-04-30T13:47:25Z","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-16T05:03:41.654370Z"},"links":{"citing_paper":"/paper/2504.21643"},"observation_digest":"sha256:dbd5e2030f118dd2d37fd8fc1e606e5b0f20d94f61267987f79ac1eadef6cbf2","observation_id":"b9aa13f1-5722-4f63-994f-61d5b500cf5c","resolution":{"observed_at":"2026-08-16T05:03:41.909186Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T05:03:41.891072Z","title":"The #dnn-verification problem: Counting unsafe inputs for deep neural networks","venue":null,"work_id":"f2501c7c-626a-411d-9391-90d73dc16e55","year":2023},"citing_paper":{"arxiv_id":"2504.21643","last_updated":"2025-04-30T13:47:25Z","snapshot_observed_at":"2026-08-16T04:54:54.118009Z","submitted_at":"2025-04-30T13:47:25Z","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-16T05:03:41.658200Z"},"links":{"citing_paper":"/paper/2504.21643"},"observation_digest":"sha256:7540879955a2a72c09f3501552de39d8a19961633a16da356c9e3b8f9e62f6fd","observation_id":"9eb2b33f-5994-4412-befa-c902df64ab7b","resolution":{"observed_at":"2026-08-16T05:03:41.895652Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T05:03:41.878806Z","title":"Enumerating safe regions in deep neural networks with provable probabilistic guarantees","venue":null,"work_id":"a6e76d29-66f8-45d3-ad51-eb13a2a6fa84","year":2024},"citing_paper":{"arxiv_id":"2504.21643","last_updated":"2025-04-30T13:47:25Z","snapshot_observed_at":"2026-08-16T04:54:54.118009Z","submitted_at":"2025-04-30T13:47:25Z","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-16T05:03:41.661662Z"},"links":{"citing_paper":"/paper/2504.21643"},"observation_digest":"sha256:7f32c7cbca670e5f163d4468b9cc2ff69034edc0b387ab8d277b3f10e9aa90fd","observation_id":"2ad8ef8f-c3ae-4478-bf92-f9f4a80d8e50","resolution":{"observed_at":"2026-08-16T05:03:41.882733Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T05:03:41.665044Z","title":"Control barrier function based quadratic programs for safety critical systems","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2504.21643","last_updated":"2025-04-30T13:47:25Z","snapshot_observed_at":"2026-08-16T04:54:54.118009Z","submitted_at":"2025-04-30T13:47:25Z","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-16T05:03:41.665044Z"},"links":{"citing_paper":"/paper/2504.21643"},"observation_digest":"sha256:59001d41e53e539f97c9d57bf2326aa9aca3a3dcbf6eb98f10fb59d4cdf8af24","observation_id":"5142eade-c46a-48eb-96a5-d72eda9b4f7d","resolution":{"observed_at":"2026-08-16T05:03:41.665044Z","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-16T05:03:41.668412Z","title":"Safe control under input limits with neural control barrier functions","venue":null,"work_id":null,"year":1970},"citing_paper":{"arxiv_id":"2504.21643","last_updated":"2025-04-30T13:47:25Z","snapshot_observed_at":"2026-08-16T04:54:54.118009Z","submitted_at":"2025-04-30T13:47:25Z","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-16T05:03:41.668412Z"},"links":{"citing_paper":"/paper/2504.21643"},"observation_digest":"sha256:2ed3d1bc4760937ba349405617817dfa13b52cb0d65c8f3f6b5b939c2fed2f0a","observation_id":"cef3d35b-c6b5-471b-81b6-7efb57d28d80","resolution":{"observed_at":"2026-08-16T05:03:41.668412Z","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-16T05:03:41.671861Z","title":"How to train your neural control barrier function: Learning safety filters for complex input-constrained systems","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.21643","last_updated":"2025-04-30T13:47:25Z","snapshot_observed_at":"2026-08-16T04:54:54.118009Z","submitted_at":"2025-04-30T13:47:25Z","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-16T05:03:41.671861Z"},"links":{"citing_paper":"/paper/2504.21643"},"observation_digest":"sha256:aab1a3ce09af76d4a5f0850b4ed201fdf0fffd14b6b473fea3af565037c03e58","observation_id":"81fae8f7-312e-4593-8e0b-36af9a8ffcdd","resolution":{"observed_at":"2026-08-16T05:03:41.671861Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.16281","last_updated":"2024-10-04T21:42:25Z","snapshot_observed_at":"2026-08-16T13:12:25.683451Z","submitted_at":"2024-10-04T21:42:25Z","title":"Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.16281","snapshot_observed_at":"2026-08-16T05:03:41.675196Z","title":"Verification of neural control barrier functions with symbolic derivative bounds propagation","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.21643","last_updated":"2025-04-30T13:47:25Z","snapshot_observed_at":"2026-08-16T04:54:54.118009Z","submitted_at":"2025-04-30T13:47:25Z","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-16T05:03:41.675196Z"},"links":{"cited_paper":"/paper/2410.16281","citing_paper":"/paper/2504.21643"},"observation_digest":"sha256:1b226bb78d27156ef86af2ddce6a92cadb760b46cccd901be92b6d93a3603473","observation_id":"c7cfac10-32b0-4e54-9aae-3fdc23451174","resolution":{"observed_at":"2026-08-16T05:03:41.675196Z","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-16T05:03:41.840666Z","title":"Responsive safety in reinforcement learning by pid lagrangian methods","venue":null,"work_id":"b0e799a6-aa1c-47b9-8daa-5c3e2ce36983","year":2020},"citing_paper":{"arxiv_id":"2504.21643","last_updated":"2025-04-30T13:47:25Z","snapshot_observed_at":"2026-08-16T04:54:54.118009Z","submitted_at":"2025-04-30T13:47:25Z","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-16T05:03:41.679106Z"},"links":{"citing_paper":"/paper/2504.21643"},"observation_digest":"sha256:141987168e9a3a839421b6d6337f3d5bc953f54b23a729eb01907bb51007f476","observation_id":"6a2104b5-7c7c-4544-93ed-4d1ec9a603ca","resolution":{"observed_at":"2026-08-16T05:03:41.845712Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T05:03:41.826204Z","title":"Safe deep reinforcement learning by verifying task-level properties","venue":null,"work_id":"acdf79a6-d16f-4ecd-be72-339dff7075c2","year":2023},"citing_paper":{"arxiv_id":"2504.21643","last_updated":"2025-04-30T13:47:25Z","snapshot_observed_at":"2026-08-16T04:54:54.118009Z","submitted_at":"2025-04-30T13:47:25Z","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-16T05:03:41.682464Z"},"links":{"citing_paper":"/paper/2504.21643"},"observation_digest":"sha256:424ed2c63b80236f86a8ac1c1786433d6119c6ec7708fc58045d312fe4a94079","observation_id":"c85e8bcd-e536-4484-8486-c99c5dc5ea30","resolution":{"observed_at":"2026-08-16T05:03:41.830604Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T05:03:41.812472Z","title":"Towards aircraft autonomy using a pomdp-based planner","venue":null,"work_id":"73f5a6da-c25e-4d59-a343-474ec842682c","year":2024},"citing_paper":{"arxiv_id":"2504.21643","last_updated":"2025-04-30T13:47:25Z","snapshot_observed_at":"2026-08-16T04:54:54.118009Z","submitted_at":"2025-04-30T13:47:25Z","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-16T05:03:41.686288Z"},"links":{"citing_paper":"/paper/2504.21643"},"observation_digest":"sha256:d09975b6d08c6e42bfbaa6058446253587a36a02b607e2d1026e7fc572dbc0d6","observation_id":"f6ca95d6-1fca-4a68-847e-a47a189231ec","resolution":{"observed_at":"2026-08-16T05:03:41.817156Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T05:03:41.798963Z","title":"Modelling the dynamics of ships with different propulsion systems for control purpose","venue":null,"work_id":"dad640f4-4604-4715-a80f-3595138e04a6","year":2016},"citing_paper":{"arxiv_id":"2504.21643","last_updated":"2025-04-30T13:47:25Z","snapshot_observed_at":"2026-08-16T04:54:54.118009Z","submitted_at":"2025-04-30T13:47:25Z","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-16T05:03:41.689363Z"},"links":{"citing_paper":"/paper/2504.21643"},"observation_digest":"sha256:5546b4fca078aacb9ed81e67b17306edaf8b1e93e55dc655727458bdc60de356","observation_id":"f4bc2e0d-5346-4b64-b47e-aa3c6ae54df7","resolution":{"observed_at":"2026-08-16T05:03:41.803229Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T05:03:41.786097Z","title":"Nonlinear model predictive control","venue":null,"work_id":"ce5bada9-a2ad-428b-b852-eccf8e5d18cb","year":2017},"citing_paper":{"arxiv_id":"2504.21643","last_updated":"2025-04-30T13:47:25Z","snapshot_observed_at":"2026-08-16T04:54:54.118009Z","submitted_at":"2025-04-30T13:47:25Z","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-16T05:03:41.692408Z"},"links":{"citing_paper":"/paper/2504.21643"},"observation_digest":"sha256:f782e1e61704d5c9c877609abad86dbab22ddd0e3bb1a77cc6c821501d362f2a","observation_id":"8a0d7750-4136-4f44-ae3f-3eaa0fcd752a","resolution":{"observed_at":"2026-08-16T05:03:41.790077Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-16T05:03:41.770704Z","title":"A smooth converse lyapunov theorem for robust stability","venue":null,"work_id":"f228c7c7-138e-4db8-8d7f-c86501a24b62","year":1996},"citing_paper":{"arxiv_id":"2504.21643","last_updated":"2025-04-30T13:47:25Z","snapshot_observed_at":"2026-08-16T04:54:54.118009Z","submitted_at":"2025-04-30T13:47:25Z","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-16T05:03:41.696241Z"},"links":{"citing_paper":"/paper/2504.21643"},"observation_digest":"sha256:24369cd16998197d14c05d633b54e682be5a20c8a03670b28a2f683b45330828","observation_id":"d9e6a386-1e77-43e7-a019-c383d4d1052c","resolution":{"observed_at":"2026-08-16T05:03:41.776719Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1707.06347","last_updated":"2017-08-28T09:20:06Z","snapshot_observed_at":"2026-08-20T07:04:06.309989Z","submitted_at":"2017-07-20T02:32:33Z","title":"Proximal Policy Optimization Algorithms","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1707.06347","snapshot_observed_at":"2026-08-16T05:03:41.699382Z","title":"Proximal policy optimization algorithms","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2504.21643","last_updated":"2025-04-30T13:47:25Z","snapshot_observed_at":"2026-08-16T04:54:54.118009Z","submitted_at":"2025-04-30T13:47:25Z","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-16T05:03:41.699382Z"},"links":{"cited_paper":"/paper/1707.06347","citing_paper":"/paper/2504.21643"},"observation_digest":"sha256:b859216240101d97147fc8892230d9afa8f64f4b7b54ecd8012f980149f647d3","observation_id":"7717c565-e2fb-402e-99c4-5e29c7d5d003","resolution":{"observed_at":"2026-08-16T05:03:41.699382Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2504.21643","last_updated":"2025-04-30T13:47:25Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-16T04:54:54.118009Z","submitted_at":"2025-04-30T13:47:25Z","title":"Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation"},"reference_resolution":{"displayed":28,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":7,"verified_exact":0,"verified_fuzzy":21},"total_outbound_references":28},"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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 28 of 28 outbound references and 0 inbound Pith citation observations for arXiv:2504.21643."}