Paper Citation Record · LEDGER

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems

As of 7 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:2506.06381.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2506.06381 v2

Coverage vector

measured 35 of 35 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T10:45:41.318937Z

measured 35 of 35 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

35 of 35 outbound references displayed

verified exact0
verified fuzzy29
unresolved6
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 1693c0e8-3382-4ac1-8397-5acd1aee5aab · outbound

This paper cites Comprehensive formal verification of an os micro- kernel,.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems Comprehensive formal verification of an os micro- kernel,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:45:42.508647Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 7a563610-7fb6-40a1-9f87-eaf827c3cb82 · outbound

This paper cites FUTURE-AI: Guiding Principles and Consensus Recommendations for Trustworthy Artificial Intelligence in Medical Imaging.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems FUTURE-AI: Guiding Principles and Consensus Recommendations for Trustworthy Artificial Intelligence in Medical Imaging

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-07T10:45:41.010385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ee2ddf8-eb4a-4872-81b6-4a5be26aa190 · outbound

This paper cites Explaining and Harnessing Adversarial Examples.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems Explaining and Harnessing Adversarial Examples

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-07T10:45:41.017989Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31397ecf-4eb4-4cd5-9e92-91c5de4d5747 · outbound

This paper cites an unresolved cited work.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:45:42.483475Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 0180227f-42ec-4d27-afd6-a22b27629e07 · outbound

This paper cites A new approach to creating clear safety arguments,.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems A new approach to creating clear safety arguments,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:45:42.449141Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 571e2060-891f-4365-b37a-2e4e86c34d8d · outbound

This paper cites Principles of cyber-physical systems,.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems Principles of cyber-physical systems,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:45:42.423285Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 9e9b9a71-a8c1-461a-9128-46330b41a223 · outbound

This paper cites A roadmap for simulation-based testing of autonomous cyber-physical systems: Challenges and future direction,.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems A roadmap for simulation-based testing of autonomous cyber-physical systems: Challenges and future direction,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:45:42.393182Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 9fa85f1c-36e2-4ac8-b9b9-126088cc9cf2 · outbound

This paper cites A brief account of runtime verification,.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems A brief account of runtime verification,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:45:42.363097Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 05df58c5-2a3f-4d35-a029-11af75c07b44 · outbound

This paper cites A survey of challenges for runtime verification from advanced application domains (beyond software),.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems A survey of challenges for runtime verification from advanced application domains (beyond software),

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:45:42.331563Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation b8905c1c-961e-441d-b2bf-d06bc502c18d · outbound

This paper cites Fault injection techniques and tools,.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems Fault injection techniques and tools,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:45:42.295048Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 4ca17277-2071-4844-bf54-1218b2e0d73a · outbound

This paper cites Towards evaluating the robustness of neural networks,.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems Towards evaluating the robustness of neural networks,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:45:42.249414Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 61eaeae6-d6a3-4d91-9027-1d7983e43aee · outbound

This paper cites Adversarial Robustness Toolbox v1.0.0.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems Adversarial Robustness Toolbox v1.0.0

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-07T10:45:41.090835Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c1ba12e6-e6ed-4d31-9b81-b592860118d4 · outbound

This paper cites Reluplex: An efficient smt solver for verifying deep neural networks,.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems Reluplex: An efficient smt solver for verifying deep neural networks,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:45:42.223554Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 7de2e464-b4c2-4bf7-af85-4f6f8cfa2d14 · outbound

This paper cites AI 2: Safety and robustness certification of neural networks with abstract interpretation,.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems AI 2: Safety and robustness certification of neural networks with abstract interpretation,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:45:42.181700Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 676692da-abd0-4c4f-8feb-c6b38e5ae535 · outbound

This paper cites "why should i trust you?.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems "why should i trust you?

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:45:42.154644Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 388b7440-24ef-4f7f-b956-58cf2692450a · outbound

This paper cites A unified approach to interpreting model predictions,.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems A unified approach to interpreting model predictions,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:45:42.103840Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation cd9e71e0-a8b8-47ea-b26c-ec33e8d7f2a4 · outbound

This paper cites A survey on bias and fairness in machine learning,.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems A survey on bias and fairness in machine learning,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:45:42.068915Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 1174ede7-a23c-422b-b707-3391a179e598 · outbound

This paper cites Simulation-based testing of subsystems for autonomous vehicles at the example of an active suspension control system,.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems Simulation-based testing of subsystems for autonomous vehicles at the example of an active suspension control system,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:45:42.036851Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation f59e98b5-eea3-4aee-904b-f7c3ab904e3e · outbound

This paper cites AmbieGen: A Search-based Framework for Autonomous Systems Testing.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems AmbieGen: A Search-based Framework for Autonomous Systems Testing

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-07T10:45:41.144413Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation be1d5092-0313-4c58-aa7c-f645805bd1be · outbound

This paper cites A taxonomy of systemic risks from general-purpose AI,.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems A taxonomy of systemic risks from general-purpose AI,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:45:41.998012Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 799cde54-577b-4b2a-88f8-94dc6419c1bf · outbound

This paper cites The black-box simplex architecture for runtime assurance of multi- agent cps,.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems The black-box simplex architecture for runtime assurance of multi- agent cps,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:45:41.973536Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation f5d734df-1a37-4109-8401-ac05c7b2a005 · outbound

This paper cites Monitor-based runtime assurance for temporal logic specifications,.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems Monitor-based runtime assurance for temporal logic specifications,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:45:41.950904Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation c6fba709-7f95-488c-af3f-0e001d09d3c8 · outbound

This paper cites Monitoring temporal properties of contin- uous signals,.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems Monitoring temporal properties of contin- uous signals,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:45:41.917490Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation f18db30a-c523-49d2-bccf-d33a0016618a · outbound

This paper cites Breach, a toolbox for verification and parameter synthesis of hybrid systems,.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems Breach, a toolbox for verification and parameter synthesis of hybrid systems,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:45:41.895321Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 11d2a61b-fc85-4960-b3a3-04d957368640 · outbound

This paper cites Cyber-physical system model based on multi-agent system,.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems Cyber-physical system model based on multi-agent system,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:45:41.865295Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 0d3c4090-002d-40bd-8146-fd6af8e5ee30 · outbound

This paper cites Langchain,.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems Langchain,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:45:41.840594Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation bf126598-bc6f-4479-97de-df69c5132438 · outbound

This paper cites Llamaindex (gpt index),.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems Llamaindex (gpt index),

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:45:41.817205Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation f92f3547-8d9c-462d-aa5f-ed337c255a8a · outbound

This paper cites AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-07T10:45:41.225966Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation adda43da-3541-4bc0-8ea7-654a4a394fe0 · outbound

This paper cites Llmorchestrator: A multi-model llm orchestration framework for reducing bias and iterative reasoning,.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems Llmorchestrator: A multi-model llm orchestration framework for reducing bias and iterative reasoning,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:45:41.779847Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 3ab357e3-94f4-436e-ba64-30dcf1842b8c · outbound

This paper cites Rtamt: Online robustness monitors from signal temporal logic,.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems Rtamt: Online robustness monitors from signal temporal logic,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:45:41.731404Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation fa7a552a-820a-4cb3-943c-ed2289374c34 · outbound

This paper cites Carla: An open urban driving simulator,.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems Carla: An open urban driving simulator,

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:45:41.697198Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 2c0104bd-dd80-4bbe-ab4c-a1fed03ddd5d · outbound

This paper cites Airsim: High-fidelity visual and physical simulation for autonomous vehicles,.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems Airsim: High-fidelity visual and physical simulation for autonomous vehicles,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:45:41.661210Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation ac8058c1-41d4-4a26-bd19-b1b2c8739540 · outbound

This paper cites Design and use paradigms for gazebo, an open-source multi-robot simulator,.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems Design and use paradigms for gazebo, an open-source multi-robot simulator,

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:45:41.625023Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 0d908d5b-116d-40b5-b02f-2154ceb99744 · outbound

This paper cites The llama 3 herd of models,.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems The llama 3 herd of models,

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:45:41.592447Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 016151c3-a5a2-4356-87a0-891db259081e · outbound

This paper cites Dialogue-based generation of self- driving simulation scenarios using large language models,.

DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems Dialogue-based generation of self- driving simulation scenarios using large language models,

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:45:41.558860Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Pith citing papers

No inbound Pith citation observations are available.