{"as_of":"2026-08-09T23:16:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:0051aaa5a5e5def1e0dd63fb18a80649251bb6221a38fb6460a28f87d1045cc7","coverage":[{"denominator":69,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":69,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T11:13:25.037219Z","state":"measured"},{"denominator":70,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":70,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+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-06-27T13:21:51.059859Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-03T05:17:40.102925Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"cited_work":{"arxiv_id":"2510.06717","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2510.06717","snapshot_observed_at":"2026-07-14T01:19:54.916492Z","title":"Sandra: Safe large-language-model- based decision making for automated vehicles using reachability analysis,","venue":null,"work_id":"5cbfbd05-a31c-4b7e-a671-016980680558","year":2025},"citing_paper":{"arxiv_id":"2606.10974","last_updated":"2026-06-09T15:13:30Z","snapshot_observed_at":"2026-08-08T05:48:25.952802Z","submitted_at":"2026-06-09T15:13:30Z","title":"Language-Driven Cost Optimization for Autonomous Driving","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-27T13:21:51.059859Z"},"links":{"cited_paper":"/paper/2510.06717","citing_paper":"/paper/2606.10974"},"observation_digest":"sha256:315d842a60f0e18484cba296f8480c4437f5cb0188d8361d84b75355a641f3d6","observation_id":"c0711f9f-5dbb-49c1-b37e-1307bcd73c6d","resolution":{"observed_at":"2026-07-14T01:19:54.916492Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2510.06717/citation-record","integrity":"/paper/2510.06717/integrity","json":"/paper/2510.06717/citation-record.json","paper":"/paper/2510.06717"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T11:13:00.324344Z","title":"A survey of motion planning and control techniques for self-driving urban vehicles,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:00.324344Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:39794852c8e53c866b8dc07354dca992e6f001f764c84b8663959b0a4ee501d5","observation_id":"4ed325d5-27e0-4bff-bf21-b0f742580b11","resolution":{"observed_at":"2026-08-04T11:13:00.324344Z","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-04T11:13:01.691327Z","title":"Safe reinforcement learning for autonomous lane changing using set-based prediction,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:01.691327Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:147537a47ccf1f9aaf9e80eb2ac9b76047bcc0426954e2ca2c8db78a691dbf21","observation_id":"ac188b6e-9b84-449a-9ef4-263cd5834290","resolution":{"observed_at":"2026-08-04T11:13:01.691327Z","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-04T11:13:08.919225Z","title":"A survey on multimodal large language models for autonomous driving,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:08.919225Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:e699d86e465c34e4ab236d2ff2c5b429949dc5ea6ce6e0b67188fe8b01315cc8","observation_id":"2504de10-3b04-40e9-a846-4cabfec0b94f","resolution":{"observed_at":"2026-08-04T11:13:08.919225Z","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-04T11:13:09.064999Z","title":"A survey on large language model based autonomous agents,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:09.064999Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:4e2acdf080049f69ad2de496ae6e6f6537367c1afc5ae816537c8d6b0a19b488","observation_id":"f050fadc-8ffa-45f0-8369-b0c164da5d6b","resolution":{"observed_at":"2026-08-04T11:13:09.064999Z","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-04T11:13:09.165181Z","title":"SurrealDriver: Designing LLM-powered generative driver agent framework based on human drivers’ driving-thinking data,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:09.165181Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:62b2c11685a3cd97e43f1ad389ccd1d9bec1c26f18c3fc3041d9f1a0a9f7a04e","observation_id":"00ca5bae-fa37-4b3d-b12f-4692243471f9","resolution":{"observed_at":"2026-08-04T11:13:09.165181Z","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-04T11:13:09.235940Z","title":"Driving with regulation: Interpretable decision-making for autonomous vehicles with retrieval-augmented reasoning via LLM,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:09.235940Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:13c125c60448c20d985348fefc8aafac0fd5aa9adc5406b5fa058cc4fb69ea99","observation_id":"f17c763d-2a5f-4c90-9717-50ac125959a7","resolution":{"observed_at":"2026-08-04T11:13:09.235940Z","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-04T11:13:09.325620Z","title":"DiLu: A knowledge-driven approach to autonomous driving with large language models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:09.325620Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:9c7bb7d5fdd5665945b70c5d1b0898ebf8f0a61100fc021c48c4426536026131","observation_id":"b55250b0-1c32-482d-9cf0-1558c791b8a0","resolution":{"observed_at":"2026-08-04T11:13:09.325620Z","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-04T11:13:09.425849Z","title":"Reflexion: Language agents with verbal reinforcement learning,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:09.425849Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:bb4fe03d2cbd2b6efb3ce3577a59b57460d9059ff5b18d2bc94bc3caefadfeef","observation_id":"df1b778f-b99e-4bda-ba4f-0d25b7114b24","resolution":{"observed_at":"2026-08-04T11:13:09.425849Z","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-04T11:13:09.532103Z","title":"KoMa: Knowledge-driven multi-agent framework for autonomous driving with large language models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:09.532103Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:230ebd712347436bffdc9448ed4cbf60d5086c0cef3f182869f5fcae27293daa","observation_id":"badadd5e-14d1-426c-85ad-26073a3a6094","resolution":{"observed_at":"2026-08-04T11:13:09.532103Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.13238","last_updated":"2024-12-19T04:30:24Z","snapshot_observed_at":"2026-08-09T13:29:22.989877Z","submitted_at":"2024-12-17T16:45:27Z","title":"SafeDrive: Knowledge- and Data-Driven Risk-Sensitive Decision-Making for Autonomous Vehicles with Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.13238","snapshot_observed_at":"2026-08-04T11:13:09.652665Z","title":"SafeDrive: Knowledge-and data-driven risk-sensitive decision-making for autonomous vehicles with large language models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:09.652665Z"},"links":{"cited_paper":"/paper/2412.13238","citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:8c8be24c608c5e7de076867d58fe57f748a94f6cf2d7ffebb7575ae96721865a","observation_id":"31103039-6d3c-4723-b375-141d1199142c","resolution":{"observed_at":"2026-08-04T11:13:09.652665Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.18511","last_updated":"2024-12-24T15:50:10Z","snapshot_observed_at":"2026-08-05T03:48:57.558948Z","submitted_at":"2024-12-24T15:50:10Z","title":"Large Language Model guided Deep Reinforcement Learning for Decision Making in Autonomous Driving","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.18511","snapshot_observed_at":"2026-08-04T11:13:09.760652Z","title":"Large language model guided deep reinforcement learning for decision making in autonomous driving,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:09.760652Z"},"links":{"cited_paper":"/paper/2412.18511","citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:6af971e4691f329d401b3e7f9a9bb70ee8f311340b8c301621290935003f3e4b","observation_id":"8b3412fe-f4a1-42fb-9d24-51b01d95eaf3","resolution":{"observed_at":"2026-08-04T11:13:09.760652Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.05240","last_updated":"2025-05-08T13:36:07Z","snapshot_observed_at":"2026-08-07T15:48:47.918548Z","submitted_at":"2025-05-08T13:36:07Z","title":"PADriver: Towards Personalized Autonomous Driving","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.05240","snapshot_observed_at":"2026-08-04T11:13:09.870816Z","title":"PADriver: Towards personalized autonomous driving,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:09.870816Z"},"links":{"cited_paper":"/paper/2505.05240","citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:b9bcfb0f355af1b6c573504722d9c67629204f2efbf1b4043601351e016b09df","observation_id":"6d2e97c2-2dac-43dd-ab35-7a9def53b3b0","resolution":{"observed_at":"2026-08-04T11:13:09.870816Z","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-04T11:13:10.048267Z","title":"DriveMLM: Aligning multi-modal large language models with behavioral planning states for autonomous driving,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:10.048267Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:78ac724c4f0c58c368aee1796a32e45d7ea7da55e0563b0ca1ff8d856faae9ec","observation_id":"eee7126d-5339-4da4-9913-349d3e5b010d","resolution":{"observed_at":"2026-08-04T11:13:10.048267Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.01415","last_updated":"2023-12-05T05:26:29Z","snapshot_observed_at":"2026-07-06T16:26:38.284922Z","submitted_at":"2023-10-02T17:59:57Z","title":"GPT-Driver: Learning to Drive with GPT","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.01415","snapshot_observed_at":"2026-08-04T11:13:10.337934Z","title":"GPT-driver: Learning to drive with GPT,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:10.337934Z"},"links":{"cited_paper":"/paper/2310.01415","citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:761185219ea1e625875ebc4606d5ae3ab8cac4fa0b2c65a3d8fcaeb62a9fc00f","observation_id":"e7bef602-145d-4996-810b-82add202421b","resolution":{"observed_at":"2026-08-04T11:13:10.337934Z","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-04T11:13:17.647267Z","title":"DriveLM: Driving with graph visual question answering,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:17.647267Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:1cb2acf8cd1145aa97bc3eac538aa195b9871e29bc96a71bcd4e9d47a426441b","observation_id":"6d03ac03-aea6-45f6-8fc8-4c223beb8c09","resolution":{"observed_at":"2026-08-04T11:13:17.647267Z","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-04T11:13:18.714757Z","title":"LMDrive: Closed-loop end-to-end driving with large language models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:18.714757Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:f3c12ba3281e8887a7c1be1f7c720ae1cbb3fbd33c0d3f2c6575ed97ad67dfa7","observation_id":"78dcef32-e5b3-4912-a9c3-3e0eb03d240b","resolution":{"observed_at":"2026-08-04T11:13:18.714757Z","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-04T11:13:18.787917Z","title":"DrPlanner: Diagnosis and repair of motion planners for automated vehicles using large language models,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:18.787917Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:714324483f7735a899b15fda72d7e619cf68a87d51866eee673f75fac5372c16","observation_id":"783251e7-9234-455f-b50e-19312c9cc7b6","resolution":{"observed_at":"2026-08-04T11:13:18.787917Z","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-04T11:13:18.836679Z","title":"Enhancing autonomous driving systems with on-board deployed large language models,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:18.836679Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:39b8552964ab7f7a7ac0e66622b574f2bab322290a36ecc288df4d83dab109cf","observation_id":"95964437-27b0-419b-901b-bbcdb4e189b6","resolution":{"observed_at":"2026-08-04T11:13:18.836679Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.03026","last_updated":"2025-04-15T03:45:30Z","snapshot_observed_at":"2026-07-06T16:27:51.438846Z","submitted_at":"2023-10-04T17:59:49Z","title":"LanguageMPC: Large Language Models as Decision Makers for Autonomous Driving","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.03026","snapshot_observed_at":"2026-08-04T11:13:18.888597Z","title":"LanguageMPC: Large language models as deci- sion makers for autonomous driving,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:18.888597Z"},"links":{"cited_paper":"/paper/2310.03026","citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:cf68c8be6e117b96957cdd5cfc4dbd2ec10f68b399758418cc32da40cdc42772","observation_id":"42770307-bafe-4600-937f-9168bd6b8d51","resolution":{"observed_at":"2026-08-04T11:13:18.888597Z","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-04T11:13:18.987100Z","title":"Personalized autonomous driving with large language models: Field experiments,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:18.987100Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:6541a95510cb646fcab6b82f700112a634bc6fe8a391ef3977a48e56310487af","observation_id":"2441212a-db1e-4385-b2e2-12a916fbcfb4","resolution":{"observed_at":"2026-08-04T11:13:18.987100Z","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-04T11:13:19.147672Z","title":"Driving with LLMs: Fusing object- level vector modality for explainable autonomous driving,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:19.147672Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:9471a4178263ce5019c20c64a2c804a675899f13456b0208126b3a6cdfcc4545","observation_id":"ee7131c3-eee5-4372-87a2-49ceee3a2a1c","resolution":{"observed_at":"2026-08-04T11:13:19.147672Z","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-04T11:13:19.259137Z","title":"DriveGPT4: Interpretable end-to-end autonomous driving via large language model,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:19.259137Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:c056a8750f142bb64fd3b8b80c7b22e43728612428f2dec8c6da9cdb4c97da67","observation_id":"b9d64da3-081d-411a-9dbf-bea24b1f9b50","resolution":{"observed_at":"2026-08-04T11:13:19.259137Z","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-04T11:13:19.402713Z","title":"Drive as you speak: En- abling human-like interaction with large language models in autonomous vehicles,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:19.402713Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:c1b89d3c361962e7e0fd4130ee0153ca6b8bea47b915683b5fd6534772ab49f9","observation_id":"13bc246f-c18d-4240-b122-604bc82e4f93","resolution":{"observed_at":"2026-08-04T11:13:19.402713Z","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-04T11:13:19.488370Z","title":"Traffic regulation-aware path planning with regulation databases and vision-language models,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:19.488370Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:c72fa9d38b1a13092e71d69bedfbe20097ee6dde53d5778b5b5deb9990b54ea2","observation_id":"7453ec29-2bad-44a6-9481-ed5dbe850428","resolution":{"observed_at":"2026-08-04T11:13:19.488370Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.23262","last_updated":"2025-09-23T04:19:59Z","snapshot_observed_at":"2026-08-05T06:31:46.069300Z","submitted_at":"2024-10-30T17:46:31Z","title":"EMMA: End-to-End Multimodal Model for Autonomous Driving","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.23262","snapshot_observed_at":"2026-08-04T11:13:19.571065Z","title":"EMMA: End-to-end multimodal model for autonomous driving,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:19.571065Z"},"links":{"cited_paper":"/paper/2410.23262","citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:e90b9726d1d2caf83153400a3b63453833296c807ee93b2882bfd580065a6a7c","observation_id":"8534a76b-fd96-45e0-b7d5-11f56b22910d","resolution":{"observed_at":"2026-08-04T11:13:19.571065Z","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-04T11:13:19.672196Z","title":"Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:19.672196Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:c0a8ccaf89f0113ef49fed97ce7a2121d1abf4e97dc148b2d0094615ca19a175","observation_id":"7e95ec64-6bb2-4c37-ae3e-d1fb26d0f41c","resolution":{"observed_at":"2026-08-04T11:13:19.672196Z","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-04T11:13:19.759426Z","title":"Online verification of automated road vehicles using reachability analysis,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:19.759426Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:46bfa4c1ab9406909d242b07db8721b31ef256adb216c4a5643561fb4fb65cf8","observation_id":"c87fcab6-02b5-4ee5-96f4-212951bdf478","resolution":{"observed_at":"2026-08-04T11:13:19.759426Z","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-04T11:13:19.917199Z","title":"Using online verification to prevent autonomous vehicles from causing accidents,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:19.917199Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:0ee5555ac3b6b1c4bc471bf82fabd0f8a1fe905ccf775eac9d82da6ddf734002","observation_id":"c97f114e-d0cd-42d6-b102-e20ec5cc6da3","resolution":{"observed_at":"2026-08-04T11:13:19.917199Z","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-04T11:13:20.036782Z","title":"Reachability-based decision-making for autonomous driving: Theory and experiments,","venue":null,"work_id":null,"year":1907},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:20.036782Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:434cd0e81f74360ce2d8a57fcfccae83c30ddc0e682abe8bdfb00895e90c6138","observation_id":"3dd7b3d2-601e-4248-9b33-ea1864949b27","resolution":{"observed_at":"2026-08-04T11:13:20.036782Z","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-04T11:13:20.158697Z","title":"No more traffic tickets: A tutorial to ensure traffic-rule compliance of automated vehicles,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:20.158697Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:5e2a6112ff855e3bb51828997b3e8ccd770b75843226c74af3418ec959f18e34","observation_id":"882ddb7a-aab0-46b5-b8e6-931a9af783f7","resolution":{"observed_at":"2026-08-04T11:13:20.158697Z","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-04T11:13:20.299811Z","title":"Specifying safety of autonomous vehicles in signal temporal logic,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:20.299811Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:7133c0bbea3aed9ae71a32224b5b632c21184b80c13de7c6fbca9efa2eac6a30","observation_id":"2d8c0cbe-0951-4eeb-b0fd-a842e2a9c5af","resolution":{"observed_at":"2026-08-04T11:13:20.299811Z","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-04T11:13:20.445808Z","title":"Encoding and monitoring responsi- bility sensitive safety rules for automated vehicles in signal temporal logic,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:20.445808Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:ec535551887b20f5b1ce3a9b002aab23c43d4b20799685332883d01a8e9c6000","observation_id":"838e5b91-59ae-492a-b9fa-7c429d27722b","resolution":{"observed_at":"2026-08-04T11:13:20.445808Z","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-04T11:13:20.558670Z","title":"Formalizing traffic rules for machine interpretability,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:20.558670Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:a2cd501fa3c242dbd0fdf240630f5b2d6f628de9d34e9cc895a890333fa8e541","observation_id":"c96181ec-f4c9-4d43-867c-890996b9bc60","resolution":{"observed_at":"2026-08-04T11:13:20.558670Z","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-04T11:13:20.636352Z","title":"Formal- ization of interstate traffic rules in temporal logic,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:20.636352Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:96055af4e780d86d45352b7ebc581a9f82d6e61df71f9f4438c8dd6b8908b116","observation_id":"34ea963a-db9c-48bf-bfed-a6f6ff33b52f","resolution":{"observed_at":"2026-08-04T11:13:20.636352Z","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-04T11:13:20.726990Z","title":"Formalization of intersection traffic rules in temporal logic,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:20.726990Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:eb77e9468e05139431588462da6359fd10f7b439b51adbf02fd84e3eb5e8a00e","observation_id":"3fe59cc5-a881-4eff-af49-5e3b4ea67e4c","resolution":{"observed_at":"2026-08-04T11:13:20.726990Z","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-04T11:13:20.883031Z","title":"Interpretable safety validation for autonomous vehicles,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:20.883031Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:cf03c0b6a615719418c537a8671869306dad04b92715aca6bb3d45750615b738","observation_id":"aa46d846-f06d-4f82-b4cc-f884705ab3aa","resolution":{"observed_at":"2026-08-04T11:13:20.883031Z","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-04T11:13:21.014659Z","title":"Autonomous vehicle decision-making and monitoring based on signal temporal logic and mixed-integer programming,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:21.014659Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:b1f383b9bc2754968ecccc7f85cd18292e985abd1b641ba93a8556786e3f79da","observation_id":"2fd3d5f4-7f83-45f6-9d19-752d62114ec8","resolution":{"observed_at":"2026-08-04T11:13:21.014659Z","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-04T11:13:21.118752Z","title":"Synthesizing traffic scenarios from formal specifications for testing automated vehicles,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:21.118752Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:a5ddfa0e02d6779ddbcecb195e036964f58867e6cbef00f0c7672945cd8eb45f","observation_id":"34a5a9a0-19fe-48da-a84a-44ae407368a4","resolution":{"observed_at":"2026-08-04T11:13:21.118752Z","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-04T11:13:21.267662Z","title":"Motion planning with temporal-logic spec- ifications: Progress and challenges,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:21.267662Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:888ec75d4cb06398402fe4fd8775f1439eeddf01096b9bf088d12913ede0fbca","observation_id":"e66e0e99-0e3b-4a97-95bd-cc62d4294d85","resolution":{"observed_at":"2026-08-04T11:13:21.267662Z","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-04T11:13:21.419355Z","title":"Traffic-rule-compliant trajec- tory repair via satisfiability modulo theories and reachability analysis,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:21.419355Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:0848523234cc2f551cbe05b300ccbf052113d7d195220faf8dd7a77c0f72aabe","observation_id":"439ad213-f55a-46d0-8806-a488622f5fd2","resolution":{"observed_at":"2026-08-04T11:13:21.419355Z","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-04T11:13:21.632892Z","title":"Specification-compliant driving corridors for motion planning of automated vehicles,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:21.632892Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:2565318c7fd4a68f2b230d3585c186ac7f04255da1d3457d31fba34071b1e402","observation_id":"9381aa4e-1b60-4b86-9801-bfc097a1343f","resolution":{"observed_at":"2026-08-04T11:13:21.632892Z","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-04T11:13:21.728766Z","title":"Specification-compliant reachability analysis for autonomous vehicles using on-the-fly model checking,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:21.728766Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:be52e4acbd1bd1de6323565577b6836414472722e201f1a236eac93ec382b024","observation_id":"bf1120f5-b825-4256-857c-018632b57e15","resolution":{"observed_at":"2026-08-04T11:13:21.728766Z","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-04T11:13:21.959928Z","title":"A formal methods approach to interpretable reinforcement learning for robotic planning,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:21.959928Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:c5970bf148ed9380bf37075a66ead76f5510ba9b916b99df02762d49322bde3c","observation_id":"40915745-a82f-4df1-ba99-1493261c810f","resolution":{"observed_at":"2026-08-04T11:13:21.959928Z","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-04T11:13:22.159176Z","title":"Provable traffic rule compliance in safe reinforcement learning on the open sea,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:22.159176Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:4a63b704cb17a4d396e0940cdb53c613a4a634eacade5145efbf6de0a479c85c","observation_id":"415c8206-ca61-4ee3-91a7-e97df0ca31fc","resolution":{"observed_at":"2026-08-04T11:13:22.159176Z","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-04T11:13:22.379840Z","title":"Lanelets: Efficient map represen- tation for autonomous driving,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:22.379840Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:b76f783d8191c08fe7137717b34b86140ee22cc0ed67c5332bf6d4e49709e048","observation_id":"df14346d-798e-413b-adb3-a65317544344","resolution":{"observed_at":"2026-08-04T11:13:22.379840Z","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-04T11:13:22.490323Z","title":"Robust and efficient curvilinear coordi- nate transformation with guaranteed map coverage for motion planning,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:22.490323Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:3e15208d8c66104335591fc0e7053ddb15ac8a9c72b5ea5d09f52ed03ad81578","observation_id":"5662bed3-d403-4635-8d05-e871368db0ee","resolution":{"observed_at":"2026-08-04T11:13:22.490323Z","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-04T11:13:22.674750Z","title":"Linear temporal logic and linear dynamic logic on finite traces","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:22.674750Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:374e9977b369203d81879d0fc5c979fa2fc1712ef4a8ae8aa0029d3c05cf2ccb","observation_id":"7d538d20-c0b1-4ce9-ab29-8f47972dbf20","resolution":{"observed_at":"2026-08-04T11:13:22.674750Z","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-04T11:13:22.741352Z","title":"Baier and J.-P","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:22.741352Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:35208fb7b2b9c2b6996f1d39bddc25e597ea3b25ea66e78098d75952a559a7a0","observation_id":"e8d0f9d6-2bd8-43dd-95e6-9425e3910b10","resolution":{"observed_at":"2026-08-04T11:13:22.741352Z","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-04T11:13:22.786546Z","title":"The image computation problem in hybrid systems model checking,","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:22.786546Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:6862a26f459025b4a8b59d15caa004987a533c9776b0f91092078574f201e52d","observation_id":"768f2add-4e6c-4ec7-9e61-94030f8a9ee8","resolution":{"observed_at":"2026-08-04T11:13:22.786546Z","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-04T11:13:22.897480Z","title":"Convention on road traffic,","venue":null,"work_id":null,"year":1968},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:22.897480Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:250e6e9e8bb528638cb9a2ecbaf7644e05eaf8066373db5ec87aaafaed611c21","observation_id":"05cbea91-cce9-43b1-892b-3f2eb01ec6fc","resolution":{"observed_at":"2026-08-04T11:13:22.897480Z","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-04T11:13:22.984597Z","title":"Learning transferable visual models from natural language supervision,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:22.984597Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:67be98256e1bc3a1b1b27846561821c4208e7397b284a795e708bb723eecad24","observation_id":"24d106ac-e6f7-4d8f-9bd4-6cd261f4d396","resolution":{"observed_at":"2026-08-04T11:13:22.984597Z","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-04T11:13:23.056637Z","title":"Chain-of-thought prompting elicits reasoning in large language models,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:23.056637Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:bd8a821d5b34b58639d236775bcafd469befe73c5e79fe7dc460bf761be3f1a6","observation_id":"fe98a5e1-1556-47dc-9cd2-6938a1577655","resolution":{"observed_at":"2026-08-04T11:13:23.056637Z","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-04T11:13:23.164244Z","title":"Commonroad-RL: A con- figurable reinforcement learning environment for motion planning of autonomous vehicles,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:23.164244Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:367492a928b796e055861452def35c6e6c70c238bb2a11b4c71a5aa144d99074","observation_id":"c902bd92-e2eb-46b0-a959-6bbcbbcb5758","resolution":{"observed_at":"2026-08-04T11:13:23.164244Z","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-04T11:13:23.377566Z","title":"CommonRoad-CriMe: A toolbox for criticality measures of autonomous vehicles,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:23.377566Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:9e7451862eb35f8be8588372f42edcdb6c912d57139f141d601d6647ce0730ee","observation_id":"fb0d8c45-5096-46f2-93d3-02f5156abd01","resolution":{"observed_at":"2026-08-04T11:13:23.377566Z","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-04T11:13:23.474750Z","title":"LoRA: Low-rank adaptation of large language models,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:23.474750Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:403a9142ede9aa25bf2ae061253b7cd4e7617cae77b3991f836095a1241241f8","observation_id":"6276aa2d-c223-4034-b410-f7515ae21e3e","resolution":{"observed_at":"2026-08-04T11:13:23.474750Z","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-04T11:13:23.547421Z","title":"Spot 2.0 – a framework for LTL andω-automata manipulation,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:23.547421Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:6e86ac750e6f5faa0b55afb1a4e0f7188a001286a8386945a8b65731c7b311fe","observation_id":"ab38241b-4a1d-41c0-a809-e8bfb4192074","resolution":{"observed_at":"2026-08-04T11:13:23.547421Z","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-04T11:13:23.619002Z","title":"A survey on motion prediction and risk assessment for intelligent vehicles,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:23.619002Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:3620fc2a7de9cce9da54355f2e491cb673480e5f433a9880b93373589c24f80a","observation_id":"5f86b79e-44a7-4593-8da4-d1aa6cab367e","resolution":{"observed_at":"2026-08-04T11:13:23.619002Z","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-04T11:13:23.749099Z","title":"Set-based prediction of traffic participants considering occlusions and traffic rules,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:23.749099Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:95aac6383b9a820362296c31b775de4b099ca488f6b36b231ceba11a51270f7a","observation_id":"22f0ff0c-16d4-4858-acbf-9cb7dbbf62eb","resolution":{"observed_at":"2026-08-04T11:13:23.749099Z","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-04T11:13:23.862774Z","title":"Efficient computation of invariably safe states for motion planning of self-driving vehicles,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:23.862774Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:e72ad2c2f403efd3bdc5e79f17c10f237f7458c4f6d72b0ccd01b77e3b5620e4","observation_id":"51ea97ee-6e29-458e-821f-0bcfc09f9eed","resolution":{"observed_at":"2026-08-04T11:13:23.862774Z","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-04T11:13:23.964756Z","title":"CommonRoad: Composable benchmarks for motion planning on roads,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:23.964756Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:2adf1d0ed78678a9eb701681c88aa732dc1dde171f33897f92d4626e8315450a","observation_id":"ae3b37a2-1c9b-4f40-87da-e5b15575ca7b","resolution":{"observed_at":"2026-08-04T11:13:23.964756Z","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-04T11:13:24.039860Z","title":"CommonRoad-Reach: A toolbox for reachability analysis of automated vehicles,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:24.039860Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:caa6c019f5be118a0f0462bddffb93cd627c4cb54a2939d743ef7ddbe4152a11","observation_id":"af071f74-a812-4ca7-8dbf-1f2e3b1a820c","resolution":{"observed_at":"2026-08-04T11:13:24.039860Z","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-04T11:13:24.122703Z","title":"An environment for autonomous driving decision-making,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:24.122703Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:622f3e3deeabf242d38126c1574e0d0f37ad5bf5a0bafabdb4013b1ea62f750e","observation_id":"1042f605-00c8-4f0c-9652-fa3c194526ef","resolution":{"observed_at":"2026-08-04T11:13:24.122703Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.21276","last_updated":"2024-10-25T17:43:01Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-10-25T17:43:01Z","title":"GPT-4o System Card","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.21276","snapshot_observed_at":"2026-08-04T11:13:24.299849Z","title":"GPT-4o system card,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:24.299849Z"},"links":{"cited_paper":"/paper/2410.21276","citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:068f856dd2672a9279d9a0bde2b05509d2bba78253bf1736a0d33c67388d910f","observation_id":"d05d5ede-32ef-4834-8c8b-aa0f47313316","resolution":{"observed_at":"2026-08-04T11:13:24.299849Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.09388","last_updated":"2025-05-14T13:41:34Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2025-05-14T13:41:34Z","title":"Qwen3 Technical Report","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.09388","snapshot_observed_at":"2026-08-04T11:13:24.459448Z","title":"Qwen3 technical report,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:24.459448Z"},"links":{"cited_paper":"/paper/2505.09388","citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:e6ba2ac7ad87bd18aefb554925bd91da2b941d82ded0ce9d98aeeefdd4c46ef7","observation_id":"7756bc1d-72f6-43e3-bc9e-2ac88d178c7f","resolution":{"observed_at":"2026-08-04T11:13:24.459448Z","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-04T11:13:24.578405Z","title":"The highD dataset: A drone dataset of naturalistic vehicle trajectories on German highways for validation of highly automated driving systems,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:24.578405Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:b8c920ff774bdcc9d89beb594fb2b196c9c659eec6fe7f55078960f0b8784d10","observation_id":"51bd5b46-0a1b-4117-b919-6bc23692b85e","resolution":{"observed_at":"2026-08-04T11:13:24.578405Z","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-04T11:13:24.761883Z","title":"MONA: The Munich motion dataset of natural driving,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:24.761883Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:5eb705aa0e6f9ae77c89e5739995b6f4eed9c33b86ca60948f45ac5d07e05e76","observation_id":"e63ee4a0-b51a-4bd0-80a3-8e478af520b2","resolution":{"observed_at":"2026-08-04T11:13:24.761883Z","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-04T11:13:24.840038Z","title":"Rule-compliant trajectory repairing using satisfiability modulo theories,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:24.840038Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:c3ac380fbf0667acdda18f0d313f2c2db7a799af726395b52833ac77b77e6efe","observation_id":"6b4cf101-2931-4e5c-90c0-00ff021e8dab","resolution":{"observed_at":"2026-08-04T11:13:24.840038Z","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-04T11:13:24.942211Z","title":"Sampling-based optimal trajectory generation for autonomous vehicles using reachable sets,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:24.942211Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:e7a7a9de6e10305da9967e8f8320b4a29fa3b42aac5322bee158f23c2db88eef","observation_id":"0159fdda-d92f-4c35-9914-3e17960ac9d0","resolution":{"observed_at":"2026-08-04T11:13:24.942211Z","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-04T11:13:25.037219Z","title":"Model predictive robustness of signal temporal logic predicates,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis","version":2},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-04T11:13:25.037219Z"},"links":{"citing_paper":"/paper/2510.06717"},"observation_digest":"sha256:aca7b9586da4e9d3bb6a24b27ab5f9a279827dcbd16e07073f0f716ef252e94f","observation_id":"d9dd1b7e-a669-48f9-8960-c151a42d629f","resolution":{"observed_at":"2026-08-04T11:13:25.037219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2510.06717","last_updated":"2026-07-11T02:10:51Z","latest_version":2,"primary_category":"cs.RO","snapshot_observed_at":"2026-08-08T22:54:26.898193Z","submitted_at":"2025-10-08T07:13:18Z","title":"SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis"},"reference_resolution":{"displayed":69,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":69,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":69},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 69 of 69 outbound references and 1 inbound Pith citation observation for arXiv:2510.06717."}