{"as_of":"2026-08-07T22:37:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b30b1ad430a8e6405308bec7070e77a3997b0f95e10f57746e408680e5b47bff","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-07T06:34:17.273281+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-06T21:42:43.686811Z","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-06T16:12:10.423368Z","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:9dba854fc5add9244b1e4cc353b32e53e317272715b864478fca9b6b00c8d2e5","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:42:43.686811Z","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:13dd1b5416a5beac1eb4784de81cbb51828753bcb3e338c247d425825493c6ff","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:42:43.686811Z","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:0498f80243898375608973982d0d53e088a1710cb7ef7a1c99424d31d6ba5357","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-06T21:42:43.686811Z","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:aaa4323a34df46fbc942b23c81ae4e858449a3396b96da28a3320aa9b4c001f5","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-06T21:42:43.686811Z","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:33b8678d66dce996fbfd879a1594f18e9ba3ef14606bf00266dc0cdbef709bd6","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-06T21:42:43.686811Z","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:eb4a1fca9ec911fe92526a16cffada9e31f0ba6f53974f975bd9dc785d487e71","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:42:43.686811Z","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:4b11f249729cb0f02fae7e08d2246f70029649af72ad1bdd4cc1df0429489d1d","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-06T21:42:43.686811Z","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:a98d99bc9a083bb319e1a54a6bf6040a7a09ce4ec2e5309e48593cee35b51a22","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-06T21:42:43.686811Z","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:6feee401cd64e14b1a7c80fa437144ba7df13bc9555fd3af00fef6f3682ef08d","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T15:56:41.420981Z","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-06T21:42:43.686811Z","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:b7f52e34e6664c0073096bbdee5f7c7b661a352e06c031bd9c9326470ff11014","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-06T21:42:43.686811Z","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:b73721d3f2aea6f074dc9863ca66557eac586fda31f85df288605476d25365c8","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:42:43.686811Z","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:a45de6eda1d72e445aa33499a9519751e2575e8fe86460264410a3fe15ca2632","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-06T21:42:43.686811Z","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:56e28e87dba2ee5e256d92e488fa323538eab10d5beb93206241fd91f460b841","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:42:43.686811Z","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:44e097be4011afee0d3957a6192a47024a2541e5f5ecbfed59357087cc5d0d15","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:42:43.686811Z","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:9c8e9df3c7e853a7456652e39fddc3bab329ccc4b75b6dfc3f112d2c5ba49bd9","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-06T21:42:43.686811Z","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:59fd3666d560d35683455fb3875074b729a846d785f3b252017ef52cedd43939","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-06T21:42:43.686811Z","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:666bd6f37e68e3f158d43a750aba2353fb33675f5961c3f30cf5131cc242d30a","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:42:43.686811Z","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:5ca586317393718676d6fd7a0960a3959947d0a7ce3817a326f8e4822c3fd607","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:42:43.686811Z","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:b6768c76c6fde8924287d278e32a5596f965404d58d3c2689174bb4bc630dfcd","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-06T21:42:43.686811Z","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:d2f4436df2254330774b9c89b0101974af0c057d1158cc2d7bdc11ec29ab11a0","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:42:43.686811Z","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:42b71e2e1d601af0ac4acd2b5f1f3934c01e8b1f65ed57f1c53c79677183c1a0","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-06T21:42:43.686811Z","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:13a80c848383743e1c7f46206743d82d0322592f3e4579cca67d9f377811c7b0","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-06T21:42:43.686811Z","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:5ed80a615c6f1570c84ad1401f514cec154aaca7431b5a9bbbe8293965dd41b3","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-06T21:42:43.686811Z","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:b3dc62c9b8a91130d2f462e5bbf180e1c8e05359b3cebbe565f6bee77d723ad2","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-06T21:42:43.686811Z","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:a4fd0a6fed2537d1832ca408a888277840e5e4d12a2cfcc3eb6d19ebcb745eed","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:42:43.686811Z","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:9641a6e351e9c7af232fd7e8e779946634230e62b3392c0ebd97cea0d1be5e46","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:42:43.686811Z","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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 25 of 25 outbound references and 1 inbound Pith citation observation for arXiv:2506.23346."}