{"as_of":"2026-08-10T08:37:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b514c0ffdf7e2f45bdfc5c91dd7f2308a05ccb80cc3283711288363464fb9457","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-10T06:31:04.303077+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-10T01:49:27.893269Z","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:188806cb771969523f02cef9bb84d4ae7c2753823734a064f13f5d6dc55e287f","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:49:27.893269Z","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:bafb7ba017c3261830bb1a26729993c63b854565c176fb12bb5ec9d83dd04039","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-10T01:49:27.893269Z","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:ffad10821890923c97ea2b021812c71ce393448231b03277f99dc995cbd32519","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-10T01:49:27.893269Z","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:751a4cb731250be6b5824a376905f0dbc1ea2e18d9023a6e31d6d831e7d152f8","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:49:27.893269Z","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:886b1246200be07688c2bd212b50f124e784b2dd5610f3b400486bcc46a07b9e","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:49:27.893269Z","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:0e1c7a878147e3085facf36c6a43b57acaca31d5d9d8d48be7890af202f4a31a","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:49:27.893269Z","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:8969e87117fee4c51a1494a3c5f9d3eee9d5a605bed86c994a2cf8a2d471499a","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:49:27.893269Z","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:ec8b430be6d2f6ccc8582fe5acff62db85d4a782e46bd056c80bc0401058beb3","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:49:27.893269Z","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:b3ee250946add794fdb7d7b5cc34ef2c4391d35f43a96dbab0d403d5f9a6b536","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:49:27.893269Z","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:9db7f4c82f58fbcc7722a9200e83e0d8766eb778ead352de7b459e292e84e7c1","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:49:27.893269Z","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:01f55d9f9f7ffb66cdb2e4d29213458eb7ef035c22eeb4346201e11c3f0a2743","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08-09T08:37:15.968185Z","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-10T01:49:27.893269Z","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:8476104690822fcb0fd9411c277b9069133e496fb3921b03830302add42598aa","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-10T01:49:27.893269Z","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:f33e6332b297900755f54221f258011cbe7b57d04d32c71b7be60859d9d7f929","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:49:27.893269Z","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:88873987f11828b2c98c450f4539b451440c2f0a7827d8c780c8e439604246cc","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:49:27.893269Z","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:e9962b7c3434a4e13bd20c331ffc032bee2e1f34027ffcaa61c8576ca024fc6f","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:49:27.893269Z","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:21e5513870b73529087f32ac7a670e5e5b9ca3617080e1da3fc3c1cfc7957854","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:49:27.893269Z","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:d3c59ca9b888df474564a44576512d802789d91575081e41a240cbc11786b30c","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:49:27.893269Z","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:103fb92a59461a960d1a324fa57369a6479fde2f94188bc2b2e7e225346f59fd","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:49:27.893269Z","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:8d68bd2546e4a9aa811113c8467575a460a54aba4762e4f49f3cae3beeeeaab9","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-10T01:49:27.893269Z","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:4ce3e95aeaa83b9c904e97646cd0c55287a4321a557083b177650effd7f41775","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:49:27.893269Z","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:06fa4b406e8ec35b81b94d2bb51cc5d404dd4bacc65081fda3705b43d149d092","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:49:27.893269Z","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:03dcb8a7313275a01ebf5de6016521babb98d2e7056ab0ce5736d8cb464caa1c","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:49:27.893269Z","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:0a955901792c5120244b1638c11b3582cd05fbf39e28ef68c669989eae303cde","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:49:27.893269Z","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:e848c6f16031aa9695621a65141c6c0b099b4d5c73414b728510ed0048b43b4a","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:49:27.893269Z","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:8c8f70a4f651b0491fbf90eac16d4a0c04c7ee3b4509050ff596c4a39eb211e3","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:49:27.893269Z","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:f60a2ff4a5b6c053308b89570218a3d60c31657df2c5c82dda5fa71cdf7478f8","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:49:27.893269Z","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:9a1c693e0a88c86264802f0f2aa5dcaf342044d9665b3f8283fc8dfdbb380fd4","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-08-08T22:28:26.004138Z","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-10T01:49:27.893269Z","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:9c3e8f811585090d38063f1233b3476bdd2b248b206ea2a0302fdbbbc0ee7e4d","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-10T01:49:27.893269Z","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:1b75b15fb73b22e51b23551988cab0522e0567351f91beaa634e695d0ef9d54f","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:49:27.893269Z","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:d812df256a57f3a466788334a7eca2f2bce662024db9c2a0e4e7018abff40026","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:49:27.893269Z","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:7f07bb3a0ff65cc16a8ccd76ff994226a197ee8c90a64d4c90ae38116d2f7ca9","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:49:27.893269Z","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:2d49071ca6ec1fcfd744392ab7cb775e9a7038ca1c49c0eac41c96cf1f3bde2c","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:49:27.893269Z","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:d818c554edefc241d8018054fccedba96eadccbd1177fc61bd554da405f7eff8","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:49:27.893269Z","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:daf7aa63a53659621f5be55326b1128aed54f8f280145001e05eee668c3667f3","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:49:27.893269Z","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:df2c142e5267d8d2b0d26a6214c00f847b21053c7f80647f214f2e864a047db6","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T01:49:27.893269Z","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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:2506.06381."}