{"as_of":"2026-08-10T15:41:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c3db8edf86e08c7a95f33c31ce07ab9e563350e0486a6f1b3ff46780556852f7","coverage":[{"denominator":25,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":25,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T21:50:28.937448Z","state":"measured"},{"denominator":26,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":26,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+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-08-06T16:23:10.097683Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-06T16:23:10.589481Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2506.23346","last_updated":"2025-06-29T17:41:37Z","snapshot_observed_at":"2026-08-10T04:21:18.653243Z","submitted_at":"2025-06-29T17:41:37Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis","version":1},"cited_work":{"arxiv_id":"2506.23346","doi":null,"metadata_source":"pith","pith_arxiv_id":"2506.23346","snapshot_observed_at":"2026-08-06T16:23:10.589481Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis","venue":"cs.RO","work_id":"efc050d8-4ca2-48a8-8fa4-d2e4fe658bd6","year":2025},"citing_paper":{"arxiv_id":"2507.13872","last_updated":"2025-07-18T12:50:47Z","snapshot_observed_at":"2026-08-10T04:21:41.647852Z","submitted_at":"2025-07-18T12:50:47Z","title":"Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T16:23:10.097683Z"},"links":{"cited_paper":"/paper/2506.23346","citing_paper":"/paper/2507.13872"},"observation_digest":"sha256:314435793dc011ea8a9ead274ff701842712024e6700f0e4054f422618936b7a","observation_id":"ac4ce7d1-724d-4816-8e46-40c16c4bec2f","resolution":{"observed_at":"2026-08-06T16:23:10.595755Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2506.23346/citation-record","integrity":"/paper/2506.23346/integrity","json":"/paper/2506.23346/citation-record.json","paper":"/paper/2506.23346"},"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-06T21:50:31.035221Z","title":"https://github.com/ HJReachability/helperOC","venue":null,"work_id":"a4a736b3-a7fc-4b83-9dbe-74a82be59c6e","year":2019},"citing_paper":{"arxiv_id":"2506.23346","last_updated":"2025-06-29T17:41:37Z","snapshot_observed_at":"2026-08-10T04:21:18.653243Z","submitted_at":"2025-06-29T17:41:37Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T21:50:27.038592Z"},"links":{"citing_paper":"/paper/2506.23346"},"observation_digest":"sha256:89fec0b042ba79620fb8c48c44852989df5e29535a4a58c654f76ab0f93373b7","observation_id":"aa061860-a021-4e7c-8101-a4b29e24ac43","resolution":{"observed_at":"2026-08-06T21:50:31.125754Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-07T07:30:12.213965Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-06T21:50:27.093736Z","title":"Gpt-4 technical report","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.23346","last_updated":"2025-06-29T17:41:37Z","snapshot_observed_at":"2026-08-10T04:21:18.653243Z","submitted_at":"2025-06-29T17:41:37Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T21:50:27.093736Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2506.23346"},"observation_digest":"sha256:cddb5c1b669b5920b3f178324b6d3fd61bf068b4c424b81d07c5099a5ff7237f","observation_id":"41203d50-fd7e-4cf4-9d15-c756d3835160","resolution":{"observed_at":"2026-08-06T21:50:27.093736Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2204.01691","last_updated":"2022-08-16T16:06:33Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2022-04-04T17:57:11Z","title":"Do As I Can, Not As I Say: Grounding Language in Robotic Affordances","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2204.01691","snapshot_observed_at":"2026-08-06T21:50:27.164082Z","title":"Do as i can, not as i say: Grounding language in robotic affordances","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.23346","last_updated":"2025-06-29T17:41:37Z","snapshot_observed_at":"2026-08-10T04:21:18.653243Z","submitted_at":"2025-06-29T17:41:37Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T21:50:27.164082Z"},"links":{"cited_paper":"/paper/2204.01691","citing_paper":"/paper/2506.23346"},"observation_digest":"sha256:993b7187b1c4fc98fb1c115f783c3ba3f93d35746c8f25ca4003b6ab8aac077e","observation_id":"771ff281-211c-46a4-93ab-6dfb782dd67d","resolution":{"observed_at":"2026-08-06T21:50:27.164082Z","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-06T21:50:27.230799Z","title":"A general Hamilton-Jacobi framework for non- linear state-constrained control problems","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2506.23346","last_updated":"2025-06-29T17:41:37Z","snapshot_observed_at":"2026-08-10T04:21:18.653243Z","submitted_at":"2025-06-29T17:41:37Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T21:50:27.230799Z"},"links":{"citing_paper":"/paper/2506.23346"},"observation_digest":"sha256:e2b8f27dc49e116682407d01558a2d7158a2f189996031092e1c5cc8d1aa5ab0","observation_id":"00f0139c-b34f-4e5c-8d18-ee60585427ad","resolution":{"observed_at":"2026-08-06T21:50:27.230799Z","resolver_source":null,"status":"malformed_identifier"},"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-06T21:50:30.891654Z","title":"Control barrier function based quadratic programs for safety critical systems","venue":null,"work_id":"3f026e9f-d323-45c0-915f-1723415d330d","year":2016},"citing_paper":{"arxiv_id":"2506.23346","last_updated":"2025-06-29T17:41:37Z","snapshot_observed_at":"2026-08-10T04:21:18.653243Z","submitted_at":"2025-06-29T17:41:37Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T21:50:27.306136Z"},"links":{"citing_paper":"/paper/2506.23346"},"observation_digest":"sha256:7eafa1e1ee99ff5c78e2cad9293d2fa4c6639a3a43b9dfef3d9e833b86f7b6fd","observation_id":"b14b542e-a05b-45ca-9fec-7f17271b901b","resolution":{"observed_at":"2026-08-06T21:50:30.954101Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T21:50:27.376170Z","title":"Deepreach: A deep learning approach to high-dimensional reachability","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.23346","last_updated":"2025-06-29T17:41:37Z","snapshot_observed_at":"2026-08-10T04:21:18.653243Z","submitted_at":"2025-06-29T17:41:37Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T21:50:27.376170Z"},"links":{"citing_paper":"/paper/2506.23346"},"observation_digest":"sha256:5d0a96d87a8545425b206ade1cb49f8f4a29e6c43d31e6d66f5f7c4c93c92d6d","observation_id":"db3a04a7-f665-4b6b-9414-32d0d32267d3","resolution":{"observed_at":"2026-08-06T21:50:27.376170Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2010.14497","last_updated":"2021-04-26T17:38:23Z","snapshot_observed_at":"2026-07-06T10:09:06.864468Z","submitted_at":"2020-10-27T17:54:25Z","title":"Conservative Safety Critics for Exploration","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2010.14497","snapshot_observed_at":"2026-08-06T21:50:27.426347Z","title":"Conservative safety critics for exploration","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2506.23346","last_updated":"2025-06-29T17:41:37Z","snapshot_observed_at":"2026-08-10T04:21:18.653243Z","submitted_at":"2025-06-29T17:41:37Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T21:50:27.426347Z"},"links":{"cited_paper":"/paper/2010.14497","citing_paper":"/paper/2506.23346"},"observation_digest":"sha256:ee2ea907a4d03787a9e749485130d04d322f25bc380b80437652ac9a71357829","observation_id":"648534cc-54f6-48bc-be58-07809e82f975","resolution":{"observed_at":"2026-08-06T21:50:27.426347Z","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-06T21:50:30.679221Z","title":"On safety and liveness filtering using hamilton-jacobi reachability analysis","venue":null,"work_id":"427d5ae2-9490-4075-b894-779b9dbbd1d2","year":2024},"citing_paper":{"arxiv_id":"2506.23346","last_updated":"2025-06-29T17:41:37Z","snapshot_observed_at":"2026-08-10T04:21:18.653243Z","submitted_at":"2025-06-29T17:41:37Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T21:50:27.485408Z"},"links":{"citing_paper":"/paper/2506.23346"},"observation_digest":"sha256:c5f2bd4e9f7f467b26305f33bbdec99dc9ad62fafbb6278c2f3e8742054648a0","observation_id":"bc46484a-c66e-4af4-9f8f-49131953bb43","resolution":{"observed_at":"2026-08-06T21:50:30.767966Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.03830","last_updated":"2025-05-04T04:46:16Z","snapshot_observed_at":"2026-08-10T04:20:44.792306Z","submitted_at":"2025-05-04T04:46:16Z","title":"Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.03830","snapshot_observed_at":"2026-08-06T21:50:27.583245Z","title":"Bridging model predictive control and deep learning for scalable reachability analysis","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.23346","last_updated":"2025-06-29T17:41:37Z","snapshot_observed_at":"2026-08-10T04:21:18.653243Z","submitted_at":"2025-06-29T17:41:37Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T21:50:27.583245Z"},"links":{"cited_paper":"/paper/2505.03830","citing_paper":"/paper/2506.23346"},"observation_digest":"sha256:dbcbeb15b3e6ae836bbe3a2b5f7c7c82aacc48531bd0580e41ce59f054d17229","observation_id":"943f4fbe-c82b-44b7-898e-166a1b1cf569","resolution":{"observed_at":"2026-08-06T21:50:27.583245Z","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-06T21:50:30.497020Z","title":"A survey on hallucination in large language models: Principles, taxon- omy, challenges, and open questions","venue":null,"work_id":"d9dfcd78-60c8-428e-8fae-73f543622cd9","year":2025},"citing_paper":{"arxiv_id":"2506.23346","last_updated":"2025-06-29T17:41:37Z","snapshot_observed_at":"2026-08-10T04:21:18.653243Z","submitted_at":"2025-06-29T17:41:37Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T21:50:27.636528Z"},"links":{"citing_paper":"/paper/2506.23346"},"observation_digest":"sha256:751414b5d18c5547ab05bde45a2c50446d6080fb98abfb3e563c97cfd26590ce","observation_id":"0349f919-333b-4b42-b64b-b155656696ed","resolution":{"observed_at":"2026-08-06T21:50:30.608336Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.16054","last_updated":"2025-04-22T17:31:29Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-04-22T17:31:29Z","title":"$\\pi_{0.5}$: a Vision-Language-Action Model with Open-World Generalization","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.16054","snapshot_observed_at":"2026-08-06T21:50:27.700868Z","title":"π0.5: a vision-language-action model with open-world generalization","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.23346","last_updated":"2025-06-29T17:41:37Z","snapshot_observed_at":"2026-08-10T04:21:18.653243Z","submitted_at":"2025-06-29T17:41:37Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T21:50:27.700868Z"},"links":{"cited_paper":"/paper/2504.16054","citing_paper":"/paper/2506.23346"},"observation_digest":"sha256:d45c7fdc84610b4c6cb03a96848897204a310ef29644a631b558e3ae340355ed","observation_id":"8d67c4a9-9f6a-4441-b3cc-d8ac99acf677","resolution":{"observed_at":"2026-08-06T21:50:27.700868Z","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-06T21:50:30.220111Z","title":"Stagewise implementations of sequential quadratic programming for model-predictive control","venue":null,"work_id":"073813df-46b3-4ffc-b369-afed652a4833","year":null},"citing_paper":{"arxiv_id":"2506.23346","last_updated":"2025-06-29T17:41:37Z","snapshot_observed_at":"2026-08-10T04:21:18.653243Z","submitted_at":"2025-06-29T17:41:37Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T21:50:27.770855Z"},"links":{"citing_paper":"/paper/2506.23346"},"observation_digest":"sha256:473377654a0667e2ac2b6b4ed22f8074a2028f2a27c1bfcc660a858227707806","observation_id":"6490bce0-07c8-4153-bcde-54258b082571","resolution":{"observed_at":"2026-08-06T21:50:30.360311Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T21:50:30.039672Z","title":"Position: Llms can’t plan, but can help planning in llm-modulo frame- works","venue":null,"work_id":"78873fa6-8743-4e08-be84-f217a1e6d07e","year":2024},"citing_paper":{"arxiv_id":"2506.23346","last_updated":"2025-06-29T17:41:37Z","snapshot_observed_at":"2026-08-10T04:21:18.653243Z","submitted_at":"2025-06-29T17:41:37Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T21:50:27.834253Z"},"links":{"citing_paper":"/paper/2506.23346"},"observation_digest":"sha256:f52609fe29cc9822165b179dedf14a289afb77259f6a436a89268d48ff21af8c","observation_id":"d5a9fb06-b421-40e4-aca1-1b75629405c9","resolution":{"observed_at":"2026-08-06T21:50:30.137837Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2309.02705","last_updated":"2025-02-04T19:47:09Z","snapshot_observed_at":"2026-07-06T16:15:00.517258Z","submitted_at":"2023-09-06T04:37:20Z","title":"Certifying LLM Safety against Adversarial Prompting","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.02705","snapshot_observed_at":"2026-08-06T21:50:27.924372Z","title":"Certifying llm safety against adversarial prompting","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.23346","last_updated":"2025-06-29T17:41:37Z","snapshot_observed_at":"2026-08-10T04:21:18.653243Z","submitted_at":"2025-06-29T17:41:37Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T21:50:27.924372Z"},"links":{"cited_paper":"/paper/2309.02705","citing_paper":"/paper/2506.23346"},"observation_digest":"sha256:afd5130295757b1f5a0e1675cb7397df819923ace72038c23d77b113fbdad7f4","observation_id":"96294aca-ada6-4830-a85d-48d6c525f494","resolution":{"observed_at":"2026-08-06T21:50:27.924372Z","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-06T21:50:28.037855Z","title":"Code as policies: Language model programs for em- bodied control","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.23346","last_updated":"2025-06-29T17:41:37Z","snapshot_observed_at":"2026-08-10T04:21:18.653243Z","submitted_at":"2025-06-29T17:41:37Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T21:50:28.037855Z"},"links":{"citing_paper":"/paper/2506.23346"},"observation_digest":"sha256:350923d1b3fd2ffc27f94a446ae32f0155d01dac2b29276ca92d3547e2204553","observation_id":"16a56266-a218-4f2a-8ea9-fcaa06b582ca","resolution":{"observed_at":"2026-08-06T21:50:28.037855Z","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-06T21:50:29.835659Z","title":"Generating formal safety assurances for high-dimensional reachability","venue":null,"work_id":"cfda4462-eea8-44a1-bda4-b8669f7f1379","year":2023},"citing_paper":{"arxiv_id":"2506.23346","last_updated":"2025-06-29T17:41:37Z","snapshot_observed_at":"2026-08-10T04:21:18.653243Z","submitted_at":"2025-06-29T17:41:37Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T21:50:28.117401Z"},"links":{"citing_paper":"/paper/2506.23346"},"observation_digest":"sha256:cbaf9894e42d10cb15ac82b4f15449e0307009ec5bc52fdaf57e1176e6c6d817","observation_id":"58a7692e-c854-44c0-9e56-ea70a43085e4","resolution":{"observed_at":"2026-08-06T21:50:29.929381Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T21:50:29.714059Z","title":"Verification of neural reachable tubes via scenario optimization and conformal prediction","venue":null,"work_id":"c98d03aa-3e3d-405c-9cf7-5ae8a561fb27","year":2024},"citing_paper":{"arxiv_id":"2506.23346","last_updated":"2025-06-29T17:41:37Z","snapshot_observed_at":"2026-08-10T04:21:18.653243Z","submitted_at":"2025-06-29T17:41:37Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T21:50:28.187374Z"},"links":{"citing_paper":"/paper/2506.23346"},"observation_digest":"sha256:0429a90b2252b3e0ae722712fcd2212afb39a2ded2ba25ce92f06442d7497623","observation_id":"53dc6767-162d-467e-902e-b78a99181fa2","resolution":{"observed_at":"2026-08-06T21:50:29.773105Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T21:50:28.286653Z","title":"Crocoddyl: An efficient and versatile framework for multi-contact optimal control","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2506.23346","last_updated":"2025-06-29T17:41:37Z","snapshot_observed_at":"2026-08-10T04:21:18.653243Z","submitted_at":"2025-06-29T17:41:37Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T21:50:28.286653Z"},"links":{"citing_paper":"/paper/2506.23346"},"observation_digest":"sha256:d2b456f01b2c96f547b635ee8936bd23ded36738f4e3a43ae2741389e719e98d","observation_id":"eb0f1111-8217-4eb7-9bfa-173ea1752b59","resolution":{"observed_at":"2026-08-06T21:50:28.286653Z","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-06T21:50:29.558177Z","title":"A toolbox of level set methods","venue":null,"work_id":"ed15083f-970e-463d-b5bf-66824206c32f","year":2007},"citing_paper":{"arxiv_id":"2506.23346","last_updated":"2025-06-29T17:41:37Z","snapshot_observed_at":"2026-08-10T04:21:18.653243Z","submitted_at":"2025-06-29T17:41:37Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T21:50:28.377016Z"},"links":{"citing_paper":"/paper/2506.23346"},"observation_digest":"sha256:7086db2f90f715c7cabfd5a8ea29447da1ca2bae894500802b3633a8c4434226","observation_id":"fd29b8e5-cb19-4569-b8c4-9efe3c67d8af","resolution":{"observed_at":"2026-08-06T21:50:29.649460Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T21:50:28.463748Z","title":"Progprompt: Generating situated robot task plans using large language models","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.23346","last_updated":"2025-06-29T17:41:37Z","snapshot_observed_at":"2026-08-10T04:21:18.653243Z","submitted_at":"2025-06-29T17:41:37Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T21:50:28.463748Z"},"links":{"citing_paper":"/paper/2506.23346"},"observation_digest":"sha256:796b61f84f4e168c0d9dbde138706139f59a21ca9c65aa9a0b96954c07707c2f","observation_id":"f3710db7-38ea-42aa-9569-ed9acfb5ae92","resolution":{"observed_at":"2026-08-06T21:50:28.463748Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2010.14603","last_updated":"2020-10-27T20:53:20Z","snapshot_observed_at":"2026-07-06T10:09:10.434213Z","submitted_at":"2020-10-27T20:53:20Z","title":"Learning to be Safe: Deep RL with a Safety Critic","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2010.14603","snapshot_observed_at":"2026-08-06T21:50:28.564114Z","title":"Learning to be safe: Deep rl with a safety critic","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2506.23346","last_updated":"2025-06-29T17:41:37Z","snapshot_observed_at":"2026-08-10T04:21:18.653243Z","submitted_at":"2025-06-29T17:41:37Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T21:50:28.564114Z"},"links":{"cited_paper":"/paper/2010.14603","citing_paper":"/paper/2506.23346"},"observation_digest":"sha256:004fb52697cd137c64f78d503f510e064a2b032ca15ef24cf15fa0120a2f67d9","observation_id":"b6ae4c67-86a2-4f32-a6ef-f5bc2a766bd4","resolution":{"observed_at":"2026-08-06T21:50:28.564114Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2503.20020","last_updated":"2025-03-25T19:02:56Z","snapshot_observed_at":"2026-08-02T07:15:58.798604Z","submitted_at":"2025-03-25T19:02:56Z","title":"Gemini Robotics: Bringing AI into the Physical World","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.20020","snapshot_observed_at":"2026-08-06T21:50:28.641845Z","title":"Gemini robotics: Bringing ai into the physical world","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.23346","last_updated":"2025-06-29T17:41:37Z","snapshot_observed_at":"2026-08-10T04:21:18.653243Z","submitted_at":"2025-06-29T17:41:37Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T21:50:28.641845Z"},"links":{"cited_paper":"/paper/2503.20020","citing_paper":"/paper/2506.23346"},"observation_digest":"sha256:ed281b138f1009c4e623b83db00f54f62248bdbac63478a50063f2bcbef4c71d","observation_id":"6fad523e-1651-447b-ade4-d1874f98f4ec","resolution":{"observed_at":"2026-08-06T21:50:28.641845Z","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-06T21:50:28.720879Z","title":"Attention is all you need","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2506.23346","last_updated":"2025-06-29T17:41:37Z","snapshot_observed_at":"2026-08-10T04:21:18.653243Z","submitted_at":"2025-06-29T17:41:37Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T21:50:28.720879Z"},"links":{"citing_paper":"/paper/2506.23346"},"observation_digest":"sha256:65ec0199db8d426f7de0cef1916e24b65808ce82dfdadda7b306e4e4395a0637","observation_id":"628e9687-14aa-4324-b79f-3a53176f607c","resolution":{"observed_at":"2026-08-06T21:50:28.720879Z","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-06T21:50:29.358084Z","title":"Data-driven safety filters: Hamilton-jacobi reachability, control barrier functions, and predictive methods for uncertain systems","venue":null,"work_id":"5b511be2-c182-4605-b507-f7db891eabe1","year":2023},"citing_paper":{"arxiv_id":"2506.23346","last_updated":"2025-06-29T17:41:37Z","snapshot_observed_at":"2026-08-10T04:21:18.653243Z","submitted_at":"2025-06-29T17:41:37Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T21:50:28.829470Z"},"links":{"citing_paper":"/paper/2506.23346"},"observation_digest":"sha256:04d0e0a9dd4051be8f466549c1e1c22e2315ee00ec402d1f23b36b4c9bffffa6","observation_id":"eb9c314d-ade0-4647-8667-3683f8f52d10","resolution":{"observed_at":"2026-08-06T21:50:29.447367Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T21:50:29.188812Z","title":"Coop- timizing Safety and Performance With a Control- Constrained Formulation","venue":null,"work_id":"9c2d491d-f428-469f-9375-344906bff7d5","year":2024},"citing_paper":{"arxiv_id":"2506.23346","last_updated":"2025-06-29T17:41:37Z","snapshot_observed_at":"2026-08-10T04:21:18.653243Z","submitted_at":"2025-06-29T17:41:37Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T21:50:28.937448Z"},"links":{"citing_paper":"/paper/2506.23346"},"observation_digest":"sha256:82d32ed3e12ddbdd3894d36aaa7aa364832b8855d6795a142bdccb3ff5b1dcdd","observation_id":"1dab6201-5760-415d-adc0-0cd8a9f9e097","resolution":{"observed_at":"2026-08-06T21:50:29.265427Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.23346","last_updated":"2025-06-29T17:41:37Z","latest_version":1,"primary_category":"cs.RO","snapshot_observed_at":"2026-08-10T04:21:18.653243Z","submitted_at":"2025-06-29T17:41:37Z","title":"Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis"},"reference_resolution":{"displayed":25,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":13,"verified_exact":0,"verified_fuzzy":11},"total_outbound_references":25},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 25 of 25 outbound references and 1 inbound Pith citation observation for arXiv:2506.23346."}