{"as_of":"2026-08-08T00:44:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1cbd4bb6e4efbbdbbb066864a9414f97e6f9e10554ac06ec7813e82cd903551f","coverage":[{"denominator":35,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":35,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T10:45:41.318937Z","state":"measured"},{"denominator":35,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":35,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2506.06381/citation-record","integrity":"/paper/2506.06381/integrity","json":"/paper/2506.06381/citation-record.json","paper":"/paper/2506.06381"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:45:42.503031Z","title":"Comprehensive formal verification of an os micro- kernel,","venue":null,"work_id":"f55f6b14-2c19-4716-8659-f42f73dc3595","year":2014},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.003125Z"},"links":{"citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:e0e61df5a851b43a6ca43869fd1e8776626d6674bc5fc7bce4448315e3a56ca4","observation_id":"1693c0e8-3382-4ac1-8397-5acd1aee5aab","resolution":{"observed_at":"2026-08-07T10:45:42.508647Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2109.09658","last_updated":"2024-07-22T15:39:53Z","snapshot_observed_at":"2026-08-04T05:15:08.283291Z","submitted_at":"2021-09-20T16:22:49Z","title":"FUTURE-AI: Guiding Principles and Consensus Recommendations for Trustworthy Artificial Intelligence in Medical Imaging","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2109.09658","snapshot_observed_at":"2026-08-07T10:45:41.010385Z","title":"Future-ai: Guiding principles and consensus recommendations for trustworthy artificial intelligence in medical imaging,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.010385Z"},"links":{"cited_paper":"/paper/2109.09658","citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:5b87914e63a704a8d102689b97845ce04b7d926c5f23d71470629513f7fab743","observation_id":"7a563610-7fb6-40a1-9f87-eaf827c3cb82","resolution":{"observed_at":"2026-08-07T10:45:41.010385Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1412.6572","last_updated":"2015-03-20T20:19:16Z","snapshot_observed_at":"2026-07-06T04:04:16.777653Z","submitted_at":"2014-12-20T01:17:12Z","title":"Explaining and Harnessing Adversarial Examples","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1412.6572","snapshot_observed_at":"2026-08-07T10:45:41.017989Z","title":"Explaining and harnessing adversarial examples,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.017989Z"},"links":{"cited_paper":"/paper/1412.6572","citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:30f452123bb050b7f17348ef2cdd65162dd14fb548a1e8f28f12b01a9a6e3ac9","observation_id":"0ee2ddf8-eb4a-4872-81b6-4a5be26aa190","resolution":{"observed_at":"2026-08-07T10:45:41.017989Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:45:42.472273Z","title":null,"venue":null,"work_id":"bfb2d782-abf0-4862-9761-17704915158a","year":1999},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.026646Z"},"links":{"citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:a54612cc3df298bf909b2924fc5a519891bf86b2a5671129e2b8b48448203609","observation_id":"31397ecf-4eb4-4cd5-9e92-91c5de4d5747","resolution":{"observed_at":"2026-08-07T10:45:42.483475Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:45:42.441277Z","title":"A new approach to creating clear safety arguments,","venue":null,"work_id":"f3096f8b-e9aa-4c15-bebc-66b37d06aba0","year":2011},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.037682Z"},"links":{"citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:2fd94b161f5f5eddfe36c8ad91f56e3c36d054ab1c891f36b59630aadcca7dc3","observation_id":"0180227f-42ec-4d27-afd6-a22b27629e07","resolution":{"observed_at":"2026-08-07T10:45:42.449141Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:45:42.417501Z","title":"Principles of cyber-physical systems,","venue":null,"work_id":"6fb11f56-e9da-4746-8108-3a9fea812347","year":2015},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.045942Z"},"links":{"citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:e3d09b0308d0259c1fcc052d235b8c1b5f0890b9607c9f307d5a90834f3fbeb4","observation_id":"571e2060-891f-4365-b37a-2e4e86c34d8d","resolution":{"observed_at":"2026-08-07T10:45:42.423285Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:45:42.385685Z","title":"A roadmap for simulation-based testing of autonomous cyber-physical systems: Challenges and future direction,","venue":null,"work_id":"90f31b64-2b3f-4d88-bfba-fb44b0a42101","year":2024},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.053979Z"},"links":{"citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:796c37fac93b67afc602d13a4b0bb7961ad4df538fdbe03ce7e55947b7d43828","observation_id":"9e9b9a71-a8c1-461a-9128-46330b41a223","resolution":{"observed_at":"2026-08-07T10:45:42.393182Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:45:42.355609Z","title":"A brief account of runtime verification,","venue":null,"work_id":"f641eb60-f697-4ade-a700-de674d516963","year":2009},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.060102Z"},"links":{"citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:34c278ed81f8ee976dc3e7ac6b25ff98cf5ef3bd5a28489a67fc56d52b8c15d9","observation_id":"9fa85f1c-36e2-4ac8-b9b9-126088cc9cf2","resolution":{"observed_at":"2026-08-07T10:45:42.363097Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:45:42.321504Z","title":"A survey of challenges for runtime verification from advanced application domains (beyond software),","venue":null,"work_id":"3049c4b4-51d8-4050-b07a-460e5958737f","year":2019},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.067437Z"},"links":{"citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:15db8612735bfcefd934c6e94693d95b6c2e3e4af94ac851be36c3cee6631640","observation_id":"05df58c5-2a3f-4d35-a029-11af75c07b44","resolution":{"observed_at":"2026-08-07T10:45:42.331563Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:45:42.282124Z","title":"Fault injection techniques and tools,","venue":null,"work_id":"c7cc0dca-fbbe-4429-9b61-52a794a3c326","year":1997},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.073922Z"},"links":{"citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:6c9568134a2df1be01307ff4c83fc57a3488038b4ae2bb9f321b1d315f986d15","observation_id":"b8905c1c-961e-441d-b2bf-d06bc502c18d","resolution":{"observed_at":"2026-08-07T10:45:42.295048Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:45:42.239160Z","title":"Towards evaluating the robustness of neural networks,","venue":null,"work_id":"247c4dad-dc3a-439a-9cf8-8610c0e3d16f","year":2017},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.080272Z"},"links":{"citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:24a10229d722e2396b5c024bf46e7d13ff367fe22d6e6330b6c7f3837e60d31e","observation_id":"4ca17277-2071-4844-bf54-1218b2e0d73a","resolution":{"observed_at":"2026-08-07T10:45:42.249414Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1807.01069","last_updated":"2019-11-15T15:05:57Z","snapshot_observed_at":"2026-07-06T06:48:06.001588Z","submitted_at":"2018-07-03T10:25:26Z","title":"Adversarial Robustness Toolbox v1.0.0","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1807.01069","snapshot_observed_at":"2026-08-07T10:45:41.090835Z","title":"Adversarial robustness toolbox v1.0.0,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.090835Z"},"links":{"cited_paper":"/paper/1807.01069","citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:89408a8e081438656c8c5753bfe42d2c2b7461a5f28d82d07bdb5930c6953a50","observation_id":"61eaeae6-d6a3-4d91-9027-1d7983e43aee","resolution":{"observed_at":"2026-08-07T10:45:41.090835Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:45:42.205081Z","title":"Reluplex: An efficient smt solver for verifying deep neural networks,","venue":null,"work_id":"2c317296-e52e-44f1-a71a-60a5adcc32fc","year":2017},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.102472Z"},"links":{"citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:3e7aa76577c06e107944743270f42e57be126bdaa5f27fa3ee662a59ce957af1","observation_id":"c1ba12e6-e6ed-4d31-9b81-b592860118d4","resolution":{"observed_at":"2026-08-07T10:45:42.223554Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:45:42.171144Z","title":"AI 2: Safety and robustness certification of neural networks with abstract interpretation,","venue":null,"work_id":"8e9fbdbe-2ee6-4952-9e96-d115a5d4154d","year":2018},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.108852Z"},"links":{"citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:8787d9f4034b0e2c2283fcea81b0acd48dfa3ff90d48d1fa35dfadb197af4013","observation_id":"7de2e464-b4c2-4bf7-af85-4f6f8cfa2d14","resolution":{"observed_at":"2026-08-07T10:45:42.181700Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:45:42.135965Z","title":"\"why should i trust you?","venue":null,"work_id":"2ab9b390-c9c2-4044-86f8-2d958788daae","year":2016},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.114660Z"},"links":{"citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:3227ddea23740ff1c1d89ccb99b778bba67bc008b50b62baef1fe5c0437bf4f4","observation_id":"676692da-abd0-4c4f-8feb-c6b38e5ae535","resolution":{"observed_at":"2026-08-07T10:45:42.154644Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:45:42.095652Z","title":"A unified approach to interpreting model predictions,","venue":null,"work_id":"10f7ecd4-6c52-4b53-bcf3-f2ccd0047891","year":2017},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.119795Z"},"links":{"citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:fb031062e806d9e12cd9ae02118a302a4f66a90de6a0d93136dbebb0e0a20a53","observation_id":"388b7440-24ef-4f7f-b956-58cf2692450a","resolution":{"observed_at":"2026-08-07T10:45:42.103840Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:45:42.059773Z","title":"A survey on bias and fairness in machine learning,","venue":null,"work_id":"bffa14d4-8e53-4a51-9564-eec817d7fffd","year":2021},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.125137Z"},"links":{"citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:90e964786a1cb3c630a75815c9fdbc0ffc0d1fcc8244138b2055b5ea9e040093","observation_id":"cd9e71e0-a8b8-47ea-b26c-ec33e8d7f2a4","resolution":{"observed_at":"2026-08-07T10:45:42.068915Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:45:42.027800Z","title":"Simulation-based testing of subsystems for autonomous vehicles at the example of an active suspension control system,","venue":null,"work_id":"390669da-d60e-47bc-96e2-16806c7a163f","year":2022},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.134929Z"},"links":{"citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:0e6acea3a1f8bb59e320ea7b45d6220adf3184a56e4e4962f3b8a75af185524f","observation_id":"1174ede7-a23c-422b-b707-3391a179e598","resolution":{"observed_at":"2026-08-07T10:45:42.036851Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2301.01234","last_updated":"2023-01-01T23:42:32Z","snapshot_observed_at":"2026-08-05T15:59:57.906944Z","submitted_at":"2023-01-01T23:42:32Z","title":"AmbieGen: A Search-based Framework for Autonomous Systems Testing","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2301.01234","snapshot_observed_at":"2026-08-07T10:45:41.144413Z","title":"Ambiegen: A search- based framework for autonomous systems testing,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.144413Z"},"links":{"cited_paper":"/paper/2301.01234","citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:6dc639336e3b3b3da707fb400c1bb70af2c4083485eb14483cb016daef01f3df","observation_id":"f59e98b5-eea3-4aee-904b-f7c3ab904e3e","resolution":{"observed_at":"2026-08-07T10:45:41.144413Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:45:41.987787Z","title":"A taxonomy of systemic risks from general-purpose AI,","venue":null,"work_id":"ab3c5ccd-be34-405e-b7ac-c5902c27014a","year":2024},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.150113Z"},"links":{"citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:18dd7440553b18559ec2788ac584d9a39b78155a3b48df4ee5967f947c1fc558","observation_id":"be1d5092-0313-4c58-aa7c-f645805bd1be","resolution":{"observed_at":"2026-08-07T10:45:41.998012Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:45:41.966984Z","title":"The black-box simplex architecture for runtime assurance of multi- agent cps,","venue":null,"work_id":"1dc3bb50-5f31-41a0-9878-ac3f89997358","year":2024},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.160699Z"},"links":{"citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:c64bfb31a4246d1fc95ed7653f523ca34139a12ec10c47266f8e115d43860905","observation_id":"799cde54-577b-4b2a-88f8-94dc6419c1bf","resolution":{"observed_at":"2026-08-07T10:45:41.973536Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:45:41.938366Z","title":"Monitor-based runtime assurance for temporal logic specifications,","venue":null,"work_id":"472614dd-a627-40a8-8d5a-6530fe0af387","year":2019},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.172087Z"},"links":{"citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:572d231c9d38ebb56d07f85fc11aa2ee7d64500040a92c4f97a5c6c9f92f2aa3","observation_id":"f5d734df-1a37-4109-8401-ac05c7b2a005","resolution":{"observed_at":"2026-08-07T10:45:41.950904Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:45:41.911543Z","title":"Monitoring temporal properties of contin- uous signals,","venue":null,"work_id":"2839510f-c1f5-4227-8512-3b381a94a8d9","year":2004},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.187191Z"},"links":{"citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:1a2f16f47ce9fce77c7fbc8a3381b1f9725f311879c4ec9f9931fc4cd7d967a8","observation_id":"c6fba709-7f95-488c-af3f-0e001d09d3c8","resolution":{"observed_at":"2026-08-07T10:45:41.917490Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:45:41.886777Z","title":"Breach, a toolbox for verification and parameter synthesis of hybrid systems,","venue":null,"work_id":"b7d2d4e5-486d-4298-b4e4-414d6246afaa","year":2010},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.197542Z"},"links":{"citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:2f5c71864c05478392882537d217c1de3ce27dfae493b87e88e0841392408eaf","observation_id":"f18db30a-c523-49d2-bccf-d33a0016618a","resolution":{"observed_at":"2026-08-07T10:45:41.895321Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:45:41.857978Z","title":"Cyber-physical system model based on multi-agent system,","venue":null,"work_id":"cf7dc1a0-98cc-468f-819d-d3c5107804d0","year":2024},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.203930Z"},"links":{"citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:dabbfdf44b7b9d1962cd420d3710ce686e5c875895deabefd6284e81c8c271eb","observation_id":"11d2a61b-fc85-4960-b3a3-04d957368640","resolution":{"observed_at":"2026-08-07T10:45:41.865295Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:45:41.833090Z","title":"Langchain,","venue":null,"work_id":"ea8d2f6d-651f-4771-888f-19f00bc3b47e","year":2022},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.210890Z"},"links":{"citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:e0eff262ae71a250720a67489e7d652c3ec05870f2a91fbf1228034248e066ab","observation_id":"0d3c4090-002d-40bd-8146-fd6af8e5ee30","resolution":{"observed_at":"2026-08-07T10:45:41.840594Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:45:41.810822Z","title":"Llamaindex (gpt index),","venue":null,"work_id":"e106037b-aadd-43b9-8268-3794cefcc7c1","year":2022},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.217647Z"},"links":{"citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:ea006203fa7d6584760e960b17baad41709717aa80fb15669fd0132f67975d00","observation_id":"bf126598-bc6f-4479-97de-df69c5132438","resolution":{"observed_at":"2026-08-07T10:45:41.817205Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.08155","last_updated":"2023-10-03T20:47:10Z","snapshot_observed_at":"2026-07-31T19:03:03.494918Z","submitted_at":"2023-08-16T05:57:52Z","title":"AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.08155","snapshot_observed_at":"2026-08-07T10:45:41.225966Z","title":"Autogen: Enabling next-gen llm applications via multi-agent conversation frame- work,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.225966Z"},"links":{"cited_paper":"/paper/2308.08155","citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:047b71f3af6e9ffed3552ad82d376230ada65ea3607a76f0a0d686d548ca7faa","observation_id":"f92f3547-8d9c-462d-aa5f-ed337c255a8a","resolution":{"observed_at":"2026-08-07T10:45:41.225966Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:45:41.768375Z","title":"Llmorchestrator: A multi-model llm orchestration framework for reducing bias and iterative reasoning,","venue":null,"work_id":"8a5e14b8-512a-4ac2-a325-2f59a9753bae","year":2025},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.240244Z"},"links":{"citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:d307e1d31fb6b5535fd557dc0507bb5bdb47596015e71a7ae02eee3606d352f0","observation_id":"adda43da-3541-4bc0-8ea7-654a4a394fe0","resolution":{"observed_at":"2026-08-07T10:45:41.779847Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:45:41.720603Z","title":"Rtamt: Online robustness monitors from signal temporal logic,","venue":null,"work_id":"b3dbdb7f-1e7c-42cd-a453-ee27e0efeaf1","year":2016},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.252047Z"},"links":{"citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:207c4282230013a6d6df3ad8f6225851147f5261bfc52b7670604f3c259d51fd","observation_id":"3ab357e3-94f4-436e-ba64-30dcf1842b8c","resolution":{"observed_at":"2026-08-07T10:45:41.731404Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:45:41.685313Z","title":"Carla: An open urban driving simulator,","venue":null,"work_id":"36b29acc-eaae-4260-842c-6fec830166b7","year":2017},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.290101Z"},"links":{"citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:3fa3c10c7a650f7f1511cb7c58641f23bd36b958a1fc1ce80024c5b90bd74b51","observation_id":"fa7a552a-820a-4cb3-943c-ed2289374c34","resolution":{"observed_at":"2026-08-07T10:45:41.697198Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:45:41.651424Z","title":"Airsim: High-fidelity visual and physical simulation for autonomous vehicles,","venue":null,"work_id":"7c663729-b84c-4711-b8f5-de1aed3e1104","year":2017},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.299110Z"},"links":{"citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:14c9c5600b212987c5a6da036024077d4deb18191bb57d6c18014fe56d21812a","observation_id":"2c0104bd-dd80-4bbe-ab4c-a1fed03ddd5d","resolution":{"observed_at":"2026-08-07T10:45:41.661210Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:45:41.616699Z","title":"Design and use paradigms for gazebo, an open-source multi-robot simulator,","venue":null,"work_id":"93c08854-0c9c-4d00-883a-4810255210fd","year":2004},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.304345Z"},"links":{"citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:f21a274df8c9663511289d11f010c096994305201e743fd79611de9c3cbbd170","observation_id":"ac8058c1-41d4-4a26-bd19-b1b2c8739540","resolution":{"observed_at":"2026-08-07T10:45:41.625023Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:45:41.581348Z","title":"The llama 3 herd of models,","venue":null,"work_id":"77b34122-2a5b-44b3-bfa2-43b879680a4e","year":2024},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.310576Z"},"links":{"citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:53812c7b5a29dee5de8a28316f4c98585a7acfaf4f7ee160db1e0d4094d9333a","observation_id":"0d908d5b-116d-40b5-b02f-2154ceb99744","resolution":{"observed_at":"2026-08-07T10:45:41.592447Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T10:45:41.550618Z","title":"Dialogue-based generation of self- driving simulation scenarios using large language models,","venue":null,"work_id":"9f97d62e-3253-4626-a9fd-bccd9321fef3","year":2023},"citing_paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T10:45:41.318937Z"},"links":{"citing_paper":"/paper/2506.06381"},"observation_digest":"sha256:7713246276f34f051a053fc03d5e85072319dc41fe567c607c8a9f191f35439f","observation_id":"016151c3-a5a2-4356-87a0-891db259081e","resolution":{"observed_at":"2026-08-07T10:45:41.558860Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.06381","last_updated":"2025-06-13T03:57:22Z","latest_version":2,"primary_category":"cs.RO","snapshot_observed_at":"2026-08-07T10:39:43.762006Z","submitted_at":"2025-06-04T21:04:21Z","title":"DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems"},"reference_resolution":{"displayed":35,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":6,"verified_exact":0,"verified_fuzzy":29},"total_outbound_references":35},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:2506.06381."}