Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
Paper Citation Record · LEDGER
Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
As of 10 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 9 inbound Pith citation observations for arXiv:2503.03911.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-08T20:06:31.304129Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-05-21T14:54:13.224278Z
Reference resolution
0 of 0 outbound references displayed
- verified exact0
- verified fuzzy0
- unresolved0
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
No outbound reference observations are available for this paper version.
Pith citing papers
Observation 1502921a-39d8-4202-a4ab-192694451beb · inbound
A Red Teaming Roadmap Towards System-Level Safety cites this paper.
A Red Teaming Roadmap Towards System-Level Safety Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
Reference 29
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:11:19.367243Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b977371a-67d8-4682-97f1-9084653bdfcb · inbound
Enhancing Reliability in LLM-Integrated Robotic Systems: A Unified Approach to Security and Safety cites this paper.
Enhancing Reliability in LLM-Integrated Robotic Systems: A Unified Approach to Security and Safety Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T11:54:14.002552Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 08e60049-dd0e-43a2-9698-36df7bc2b0a1 · inbound
Online Adaptive Probabilistic Safety Certificate with Language Guidance cites this paper.
Online Adaptive Probabilistic Safety Certificate with Language Guidance Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
Reference 5
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T22:45:24.393185Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 6f6c1270-fa23-4d71-ae8f-60dbc954e1f8 · inbound
When control meets large language models: From words to dynamics cites this paper.
When control meets large language models: From words to dynamics Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
Reference 212
- Resolution
- verified exact
- arxiv_id, observed 2026-05-21T14:54:13.226126Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 8500deff-3dfa-47ff-94ad-ebbfb3e897e2 · inbound
Agentic Driving Coach: Robustness and Determinism of Agentic AI-Powered Human-in-the-Loop Cyber-Physical Systems cites this paper.
Agentic Driving Coach: Robustness and Determinism of Agentic AI-Powered Human-in-the-Loop Cyber-Physical Systems Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
Reference 10
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T10:41:04.464734Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 9da1805f-cee2-427b-8f1f-bd965a4705d1 · inbound
Failure Identification in Imitation Learning Via Statistical and Semantic Filtering cites this paper.
Failure Identification in Imitation Learning Via Statistical and Semantic Filtering Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
Reference 10
- Resolution
- verified exact
- arxiv_id, observed 2026-05-10T13:40:26.548043Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 9d0ec97a-6e99-4537-892c-bfbd2fbf1f3b · inbound
Safety in Embodied AI: A Survey of Risks, Attacks, and Defenses cites this paper.
Safety in Embodied AI: A Survey of Risks, Attacks, and Defenses Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
Reference 3
- Resolution
- verified exact
- arxiv_id, observed 2026-05-14T22:23:04.014867Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 85d48676-2686-4f9a-ac27-f7940bafe9aa · inbound
Safety in Embodied AI: A Survey of Risks, Attacks, and Defenses cites this paper.
Safety in Embodied AI: A Survey of Risks, Attacks, and Defenses Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
Reference 115
- Resolution
- unresolved
- no resolver link, observed 2026-07-13T17:08:58.831798Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 724c9f56-5563-4f3f-b1dd-0e2ac107aee5 · inbound
Structured LLM Reasoning for Zero-Shot Human--Robot Coordination Under Hidden Goals cites this paper.
Structured LLM Reasoning for Zero-Shot Human--Robot Coordination Under Hidden Goals Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-08T20:06:31.304129Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.