SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis | Paper Citation Record

Observation 4ed325d5-27e0-4bff-bf21-b0f742580b11 · outbound

This paper cites A survey of motion planning and control techniques for self-driving urban vehicles,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis A survey of motion planning and control techniques for self-driving urban vehicles,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:00.324344Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ac188b6e-9b84-449a-9ef4-263cd5834290 · outbound

This paper cites Safe reinforcement learning for autonomous lane changing using set-based prediction,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Safe reinforcement learning for autonomous lane changing using set-based prediction,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:01.691327Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2504de10-3b04-40e9-a846-4cabfec0b94f · outbound

This paper cites A survey on multimodal large language models for autonomous driving,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis A survey on multimodal large language models for autonomous driving,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:08.919225Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f050fadc-8ffa-45f0-8369-b0c164da5d6b · outbound

This paper cites A survey on large language model based autonomous agents,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis A survey on large language model based autonomous agents,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:09.064999Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 00ca5bae-fa37-4b3d-b12f-4692243471f9 · outbound

This paper cites SurrealDriver: Designing LLM-powered generative driver agent framework based on human drivers’ driving-thinking data,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis SurrealDriver: Designing LLM-powered generative driver agent framework based on human drivers’ driving-thinking data,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:09.165181Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f17c763d-2a5f-4c90-9717-50ac125959a7 · outbound

This paper cites Driving with regulation: Interpretable decision-making for autonomous vehicles with retrieval-augmented reasoning via LLM,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Driving with regulation: Interpretable decision-making for autonomous vehicles with retrieval-augmented reasoning via LLM,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:09.235940Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b55250b0-1c32-482d-9cf0-1558c791b8a0 · outbound

This paper cites DiLu: A knowledge-driven approach to autonomous driving with large language models,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis DiLu: A knowledge-driven approach to autonomous driving with large language models,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:09.325620Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df1b778f-b99e-4bda-ba4f-0d25b7114b24 · outbound

This paper cites Reflexion: Language agents with verbal reinforcement learning,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Reflexion: Language agents with verbal reinforcement learning,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:09.425849Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation badadd5e-14d1-426c-85ad-26073a3a6094 · outbound

This paper cites KoMa: Knowledge-driven multi-agent framework for autonomous driving with large language models,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis KoMa: Knowledge-driven multi-agent framework for autonomous driving with large language models,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:09.532103Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31103039-6d3c-4723-b375-141d1199142c · outbound

This paper cites SafeDrive: Knowledge- and Data-Driven Risk-Sensitive Decision-Making for Autonomous Vehicles with Large Language Models.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis SafeDrive: Knowledge- and Data-Driven Risk-Sensitive Decision-Making for Autonomous Vehicles with Large Language Models

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:09.652665Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b3412fe-f4a1-42fb-9d24-51b01d95eaf3 · outbound

This paper cites Large Language Model guided Deep Reinforcement Learning for Decision Making in Autonomous Driving.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Large Language Model guided Deep Reinforcement Learning for Decision Making in Autonomous Driving

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:09.760652Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d2e97c2-2dac-43dd-ab35-7a9def53b3b0 · outbound

This paper cites PADriver: Towards Personalized Autonomous Driving.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis PADriver: Towards Personalized Autonomous Driving

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:09.870816Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eee7126d-5339-4da4-9913-349d3e5b010d · outbound

This paper cites DriveMLM: Aligning multi-modal large language models with behavioral planning states for autonomous driving,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis DriveMLM: Aligning multi-modal large language models with behavioral planning states for autonomous driving,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:10.048267Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e7bef602-145d-4996-810b-82add202421b · outbound

This paper cites GPT-Driver: Learning to Drive with GPT.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis GPT-Driver: Learning to Drive with GPT

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:10.337934Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d03ac03-aea6-45f6-8fc8-4c223beb8c09 · outbound

This paper cites DriveLM: Driving with graph visual question answering,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis DriveLM: Driving with graph visual question answering,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:17.647267Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 78dcef32-e5b3-4912-a9c3-3e0eb03d240b · outbound

This paper cites LMDrive: Closed-loop end-to-end driving with large language models,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis LMDrive: Closed-loop end-to-end driving with large language models,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:18.714757Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 783251e7-9234-455f-b50e-19312c9cc7b6 · outbound

This paper cites DrPlanner: Diagnosis and repair of motion planners for automated vehicles using large language models,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis DrPlanner: Diagnosis and repair of motion planners for automated vehicles using large language models,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:18.787917Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 95964437-27b0-419b-901b-bbcdb4e189b6 · outbound

This paper cites Enhancing autonomous driving systems with on-board deployed large language models,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Enhancing autonomous driving systems with on-board deployed large language models,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:18.836679Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42770307-bafe-4600-937f-9168bd6b8d51 · outbound

This paper cites LanguageMPC: Large Language Models as Decision Makers for Autonomous Driving.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis LanguageMPC: Large Language Models as Decision Makers for Autonomous Driving

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:18.888597Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2441212a-db1e-4385-b2e2-12a916fbcfb4 · outbound

This paper cites Personalized autonomous driving with large language models: Field experiments,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Personalized autonomous driving with large language models: Field experiments,

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:18.987100Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ee7131c3-eee5-4372-87a2-49ceee3a2a1c · outbound

This paper cites Driving with LLMs: Fusing object- level vector modality for explainable autonomous driving,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Driving with LLMs: Fusing object- level vector modality for explainable autonomous driving,

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:19.147672Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9d64da3-081d-411a-9dbf-bea24b1f9b50 · outbound

This paper cites DriveGPT4: Interpretable end-to-end autonomous driving via large language model,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis DriveGPT4: Interpretable end-to-end autonomous driving via large language model,

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:19.259137Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 13bc246f-c18d-4240-b122-604bc82e4f93 · outbound

This paper cites Drive as you speak: En- abling human-like interaction with large language models in autonomous vehicles,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Drive as you speak: En- abling human-like interaction with large language models in autonomous vehicles,

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:19.402713Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7453ec29-2bad-44a6-9481-ed5dbe850428 · outbound

This paper cites Traffic regulation-aware path planning with regulation databases and vision-language models,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Traffic regulation-aware path planning with regulation databases and vision-language models,

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:19.488370Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8534a76b-fd96-45e0-b7d5-11f56b22910d · outbound

This paper cites EMMA: End-to-End Multimodal Model for Autonomous Driving.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis EMMA: End-to-End Multimodal Model for Autonomous Driving

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:19.571065Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e95ec64-6bb2-4c37-ae3e-d1fb26d0f41c · outbound

This paper cites Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges,

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:19.672196Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c87fcab6-02b5-4ee5-96f4-212951bdf478 · outbound

This paper cites Online verification of automated road vehicles using reachability analysis,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Online verification of automated road vehicles using reachability analysis,

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:19.759426Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c97f114e-d0cd-42d6-b102-e20ec5cc6da3 · outbound

This paper cites Using online verification to prevent autonomous vehicles from causing accidents,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Using online verification to prevent autonomous vehicles from causing accidents,

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:19.917199Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3dd7b3d2-601e-4248-9b33-ea1864949b27 · outbound

This paper cites Reachability-based decision-making for autonomous driving: Theory and experiments,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Reachability-based decision-making for autonomous driving: Theory and experiments,

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:20.036782Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 882ddb7a-aab0-46b5-b8e6-931a9af783f7 · outbound

This paper cites No more traffic tickets: A tutorial to ensure traffic-rule compliance of automated vehicles,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis No more traffic tickets: A tutorial to ensure traffic-rule compliance of automated vehicles,

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:20.158697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d8c0cbe-0951-4eeb-b0fd-a842e2a9c5af · outbound

This paper cites Specifying safety of autonomous vehicles in signal temporal logic,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Specifying safety of autonomous vehicles in signal temporal logic,

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:20.299811Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 838e5b91-59ae-492a-b9fa-7c429d27722b · outbound

This paper cites Encoding and monitoring responsi- bility sensitive safety rules for automated vehicles in signal temporal logic,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Encoding and monitoring responsi- bility sensitive safety rules for automated vehicles in signal temporal logic,

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:20.445808Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c96181ec-f4c9-4d43-867c-890996b9bc60 · outbound

This paper cites Formalizing traffic rules for machine interpretability,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Formalizing traffic rules for machine interpretability,

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:20.558670Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 34ea963a-db9c-48bf-bfed-a6f6ff33b52f · outbound

This paper cites Formal- ization of interstate traffic rules in temporal logic,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Formal- ization of interstate traffic rules in temporal logic,

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:20.636352Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3fe59cc5-a881-4eff-af49-5e3b4ea67e4c · outbound

This paper cites Formalization of intersection traffic rules in temporal logic,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Formalization of intersection traffic rules in temporal logic,

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:20.726990Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa46d846-f06d-4f82-b4cc-f884705ab3aa · outbound

This paper cites Interpretable safety validation for autonomous vehicles,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Interpretable safety validation for autonomous vehicles,

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:20.883031Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2fd3d5f4-7f83-45f6-9d19-752d62114ec8 · outbound

This paper cites Autonomous vehicle decision-making and monitoring based on signal temporal logic and mixed-integer programming,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Autonomous vehicle decision-making and monitoring based on signal temporal logic and mixed-integer programming,

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:21.014659Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 34a5a9a0-19fe-48da-a84a-44ae407368a4 · outbound

This paper cites Synthesizing traffic scenarios from formal specifications for testing automated vehicles,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Synthesizing traffic scenarios from formal specifications for testing automated vehicles,

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:21.118752Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e66e0e99-0e3b-4a97-95bd-cc62d4294d85 · outbound

This paper cites Motion planning with temporal-logic spec- ifications: Progress and challenges,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Motion planning with temporal-logic spec- ifications: Progress and challenges,

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:21.267662Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 439ad213-f55a-46d0-8806-a488622f5fd2 · outbound

This paper cites Traffic-rule-compliant trajec- tory repair via satisfiability modulo theories and reachability analysis,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Traffic-rule-compliant trajec- tory repair via satisfiability modulo theories and reachability analysis,

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:21.419355Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9381aa4e-1b60-4b86-9801-bfc097a1343f · outbound

This paper cites Specification-compliant driving corridors for motion planning of automated vehicles,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Specification-compliant driving corridors for motion planning of automated vehicles,

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:21.632892Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf1120f5-b825-4256-857c-018632b57e15 · outbound

This paper cites Specification-compliant reachability analysis for autonomous vehicles using on-the-fly model checking,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Specification-compliant reachability analysis for autonomous vehicles using on-the-fly model checking,

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:21.728766Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 40915745-a82f-4df1-ba99-1493261c810f · outbound

This paper cites A formal methods approach to interpretable reinforcement learning for robotic planning,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis A formal methods approach to interpretable reinforcement learning for robotic planning,

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:21.959928Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 415c8206-ca61-4ee3-91a7-e97df0ca31fc · outbound

This paper cites Provable traffic rule compliance in safe reinforcement learning on the open sea,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Provable traffic rule compliance in safe reinforcement learning on the open sea,

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:22.159176Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df14346d-798e-413b-adb3-a65317544344 · outbound

This paper cites Lanelets: Efficient map represen- tation for autonomous driving,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Lanelets: Efficient map represen- tation for autonomous driving,

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:22.379840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5662bed3-d403-4635-8d05-e871368db0ee · outbound

This paper cites Robust and efficient curvilinear coordi- nate transformation with guaranteed map coverage for motion planning,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Robust and efficient curvilinear coordi- nate transformation with guaranteed map coverage for motion planning,

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:22.490323Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d538d20-c0b1-4ce9-ab29-8f47972dbf20 · outbound

This paper cites Linear temporal logic and linear dynamic logic on finite traces.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Linear temporal logic and linear dynamic logic on finite traces

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:22.674750Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8d0f9d6-2bd8-43dd-95e6-9425e3910b10 · outbound

This paper cites Baier and J.-P.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Baier and J.-P

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:22.741352Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 768f2add-4e6c-4ec7-9e61-94030f8a9ee8 · outbound

This paper cites The image computation problem in hybrid systems model checking,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis The image computation problem in hybrid systems model checking,

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:22.786546Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05cbea91-cce9-43b1-892b-3f2eb01ec6fc · outbound

This paper cites Convention on road traffic,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Convention on road traffic,

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:22.897480Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24d106ac-e6f7-4d8f-9bd4-6cd261f4d396 · outbound

This paper cites Learning transferable visual models from natural language supervision,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Learning transferable visual models from natural language supervision,

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:22.984597Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe98a5e1-1556-47dc-9cd2-6938a1577655 · outbound

This paper cites Chain-of-thought prompting elicits reasoning in large language models,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Chain-of-thought prompting elicits reasoning in large language models,

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:23.056637Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c902bd92-e2eb-46b0-a959-6bbcbbcb5758 · outbound

This paper cites Commonroad-RL: A con- figurable reinforcement learning environment for motion planning of autonomous vehicles,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Commonroad-RL: A con- figurable reinforcement learning environment for motion planning of autonomous vehicles,

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:23.164244Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb0d8c45-5096-46f2-93d3-02f5156abd01 · outbound

This paper cites CommonRoad-CriMe: A toolbox for criticality measures of autonomous vehicles,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis CommonRoad-CriMe: A toolbox for criticality measures of autonomous vehicles,

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:23.377566Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6276aa2d-c223-4034-b410-f7515ae21e3e · outbound

This paper cites LoRA: Low-rank adaptation of large language models,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis LoRA: Low-rank adaptation of large language models,

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:23.474750Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab38241b-4a1d-41c0-a809-e8bfb4192074 · outbound

This paper cites Spot 2.0 – a framework for LTL andω-automata manipulation,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Spot 2.0 – a framework for LTL andω-automata manipulation,

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:23.547421Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f86b79e-44a7-4593-8da4-d1aa6cab367e · outbound

This paper cites A survey on motion prediction and risk assessment for intelligent vehicles,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis A survey on motion prediction and risk assessment for intelligent vehicles,

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:23.619002Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 22f0ff0c-16d4-4858-acbf-9cb7dbbf62eb · outbound

This paper cites Set-based prediction of traffic participants considering occlusions and traffic rules,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Set-based prediction of traffic participants considering occlusions and traffic rules,

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:23.749099Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51ea97ee-6e29-458e-821f-0bcfc09f9eed · outbound

This paper cites Efficient computation of invariably safe states for motion planning of self-driving vehicles,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Efficient computation of invariably safe states for motion planning of self-driving vehicles,

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:23.862774Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae3b37a2-1c9b-4f40-87da-e5b15575ca7b · outbound

This paper cites CommonRoad: Composable benchmarks for motion planning on roads,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis CommonRoad: Composable benchmarks for motion planning on roads,

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:23.964756Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af071f74-a812-4ca7-8dbf-1f2e3b1a820c · outbound

This paper cites CommonRoad-Reach: A toolbox for reachability analysis of automated vehicles,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis CommonRoad-Reach: A toolbox for reachability analysis of automated vehicles,

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:24.039860Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1042f605-00c8-4f0c-9652-fa3c194526ef · outbound

This paper cites An environment for autonomous driving decision-making,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis An environment for autonomous driving decision-making,

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:24.122703Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d05d5ede-32ef-4834-8c8b-aa0f47313316 · outbound

This paper cites GPT-4o System Card.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis GPT-4o System Card

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:24.299849Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7756bc1d-72f6-43e3-bc9e-2ac88d178c7f · outbound

This paper cites Qwen3 Technical Report.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Qwen3 Technical Report

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:24.459448Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51bd5b46-0a1b-4117-b919-6bc23692b85e · outbound

This paper cites The highD dataset: A drone dataset of naturalistic vehicle trajectories on German highways for validation of highly automated driving systems,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis The highD dataset: A drone dataset of naturalistic vehicle trajectories on German highways for validation of highly automated driving systems,

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:24.578405Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e63ee4a0-b51a-4bd0-80a3-8e478af520b2 · outbound

This paper cites MONA: The Munich motion dataset of natural driving,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis MONA: The Munich motion dataset of natural driving,

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:24.761883Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b4cf101-2931-4e5c-90c0-00ff021e8dab · outbound

This paper cites Rule-compliant trajectory repairing using satisfiability modulo theories,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Rule-compliant trajectory repairing using satisfiability modulo theories,

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:24.840038Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0159fdda-d92f-4c35-9914-3e17960ac9d0 · outbound

This paper cites Sampling-based optimal trajectory generation for autonomous vehicles using reachable sets,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Sampling-based optimal trajectory generation for autonomous vehicles using reachable sets,

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:24.942211Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9dd1b7e-a669-48f9-8960-c151a42d629f · outbound

This paper cites Model predictive robustness of signal temporal logic predicates,.

SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis Model predictive robustness of signal temporal logic predicates,

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-04T11:13:25.037219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers