{"as_of":"2026-08-09T23:51:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b5bb2deb75c8bbb5376eb992b427cabb4597b68263d297cbb961b1f10cb3ce51","coverage":[{"denominator":31,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":31,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T13:46:15.795798Z","state":"measured"},{"denominator":34,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":34,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":3,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":3,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T16:56:07.665076Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-11T07:26:03.114959Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.20969","snapshot_observed_at":"2026-08-06T16:56:07.665076Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Au- tonomous Aerial Drone in a Mine Environment,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.12158","last_updated":"2025-07-16T11:37:37Z","snapshot_observed_at":"2026-08-09T04:39:00.880002Z","submitted_at":"2025-07-16T11:37:37Z","title":"Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T16:56:07.665076Z"},"links":{"cited_paper":"/paper/2505.20969","citing_paper":"/paper/2507.12158"},"observation_digest":"sha256:b1427c9e7aa7e2b34693312f87b52c0dabfaab8775399bff6e9c007ceb820638","observation_id":"b720539e-1490-469b-9aa6-0da1496ce98c","resolution":{"observed_at":"2026-08-06T16:56:07.665076Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.20969","snapshot_observed_at":"2026-08-06T16:38:07.503533Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.12986","last_updated":"2025-07-17T10:46:00Z","snapshot_observed_at":"2026-08-09T14:30:21.566698Z","submitted_at":"2025-07-17T10:46:00Z","title":"Robustness Requirement Coverage using a Situation Coverage Approach for Vision-based AI Systems","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-06T16:38:07.503533Z"},"links":{"cited_paper":"/paper/2505.20969","citing_paper":"/paper/2507.12986"},"observation_digest":"sha256:94088968c1267f9aa845acc3107a8ca1f5ec5bac33bd35ce7d2437303bc1ce15","observation_id":"c464dc00-4fe0-4c64-8904-02fe04fa236d","resolution":{"observed_at":"2026-08-06T16:38:07.503533Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"cited_work":{"arxiv_id":"2505.20969","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2505.20969","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Hodge, and Rob Alexander","venue":null,"work_id":"d539606c-025a-4034-8236-bdc77c53470e","year":2025},"citing_paper":{"arxiv_id":"2604.07414","last_updated":"2026-04-08T12:28:56Z","snapshot_observed_at":"2026-08-02T07:24:02.563109Z","submitted_at":"2026-04-08T12:28:56Z","title":"Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-10T17:10:28.875711Z"},"links":{"cited_paper":"/paper/2505.20969","citing_paper":"/paper/2604.07414"},"observation_digest":"sha256:aa8ef6405bd850975f08c63af280f134764b2e5d13af354f446a14efa50569df","observation_id":"23b46b24-fd42-47d6-b168-9c9919c1c107","resolution":{"observed_at":"2026-05-11T07:26:03.118520Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2505.20969/citation-record","integrity":"/paper/2505.20969/integrity","json":"/paper/2505.20969/citation-record.json","paper":"/paper/2505.20969"},"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-07T13:46:20.196849Z","title":null,"venue":null,"work_id":"0ff13738-6f4d-4e3b-bcc9-f655ffd771a2","year":2023},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:13.766261Z"},"links":{"citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:3acd4f58296bc26552a15e9c572f5bc81ba8c0b03eda087cd81582e171b35a0a","observation_id":"dad765ff-39e7-474b-8634-6e7e00df6c12","resolution":{"observed_at":"2026-08-07T13:46:20.291097Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:46:20.038939Z","title":null,"venue":null,"work_id":"cc148ca5-ce74-4410-910c-66f930a70156","year":2025},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:13.825925Z"},"links":{"citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:24138115f9a3a7d07816c00882e9cbdf05cff8c16a52d237f840c0a534f20299","observation_id":"6d2f854f-011c-4da0-91ab-bb47e2553231","resolution":{"observed_at":"2026-08-07T13:46:20.095216Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:46:19.860617Z","title":"In: Proceedings of the 40th International Conference on Software Engineering","venue":null,"work_id":"d04791bf-f51d-4ac2-ac12-df5bb528efcd","year":2018},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:13.908344Z"},"links":{"citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:eb697fe304d8d3dfd7c9e649523d9404b02a95ed24db462d840002ff389a661e","observation_id":"681d5819-4a14-4f7a-bca3-ecb75a6561f3","resolution":{"observed_at":"2026-08-07T13:46:19.957728Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:46:19.738516Z","title":null,"venue":null,"work_id":"ca24b0fd-47ea-456e-b741-a00f56071e0c","year":2023},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:13.975776Z"},"links":{"citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:356423aecf8632500f831a151d170805e16999bc525196441621ce911e0da049","observation_id":"607b6624-e6e3-4e7c-80b1-04fc82905620","resolution":{"observed_at":"2026-08-07T13:46:19.780119Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:46:19.544504Z","title":null,"venue":null,"work_id":"73e5cdd7-a7ae-4bd0-9cf1-b9ad8f6c94e6","year":2015},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:14.071500Z"},"links":{"citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:07babc2152362f9fa59b425e8a67d48c6367b3be1156b45ee2c1b3493a767517","observation_id":"0cf15bfa-0824-4df4-96eb-2b8b5f853caa","resolution":{"observed_at":"2026-08-07T13:46:19.631130Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:46:19.421376Z","title":"In: Procs of 23rd ACM/IEEE Conference on Model Driven Engineering Languages and Systems (2020)","venue":null,"work_id":"50a39fde-b1f1-4b07-bcd1-d9a95f564539","year":2020},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:14.109899Z"},"links":{"citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:f3f7efe99f58d50412d7cd4dd7ed9964c882312364c8674413ad1095885dffba","observation_id":"7bd9b715-44cc-4781-83ce-c05dab560dc9","resolution":{"observed_at":"2026-08-07T13:46:19.461783Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1911.06501","last_updated":"2019-11-15T08:02:19Z","snapshot_observed_at":"2026-07-06T08:37:14.635187Z","submitted_at":"2019-11-15T08:02:19Z","title":"Situation Coverage Testing for a Simulated Autonomous Car -- an Initial Case Study","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1911.06501","snapshot_observed_at":"2026-08-07T13:46:14.139731Z","title":"arXiv preprint arXiv:1911.06501 (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:14.139731Z"},"links":{"cited_paper":"/paper/1911.06501","citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:6ba1f141c9c9c5a6561715773ea7fa2cf1ff9271d355c84b3bdf8d8d2e824caf","observation_id":"75a1953e-762c-4dcd-a385-c84c27c43be2","resolution":{"observed_at":"2026-08-07T13:46:14.139731Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2208.00853","last_updated":"2026-08-03T12:27:00Z","snapshot_observed_at":"2026-08-06T23:27:23.922404Z","submitted_at":"2022-08-01T13:41:03Z","title":"Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE)","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2208.00853","snapshot_observed_at":"2026-08-07T13:46:14.183556Z","title":"arXiv preprint arXiv:2208.00853 (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:14.183556Z"},"links":{"cited_paper":"/paper/2208.00853","citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:cf9014fd1f1575b7e96e6d1f919112e4dfb75be2725d79112302a6e3e8a77179","observation_id":"0997be77-c8d3-4308-af1e-e1ed46eefde7","resolution":{"observed_at":"2026-08-07T13:46:14.183556Z","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-07T13:46:19.205355Z","title":null,"venue":null,"work_id":"4c976fea-b285-4745-afff-1c187428250e","year":null},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:14.247379Z"},"links":{"citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:d0d72d3868fd336d122436c5c93286508633611ce03d662e6811dd93a5215924","observation_id":"1dafaac8-02d9-4571-aba2-15faf395512d","resolution":{"observed_at":"2026-08-07T13:46:19.343326Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:46:19.114924Z","title":"Neural Computing and Applications,33(6), 2015– 2033 (2021)","venue":null,"work_id":"774b5228-c288-4a73-83d1-042ca19fff45","year":2021},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:14.339864Z"},"links":{"citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:05420349ae09af647ca3de0d57023982fc8e754744870a046025f501cf41bfa5","observation_id":"9d471d3f-1c27-4ef8-8229-2dd5e0a6ec72","resolution":{"observed_at":"2026-08-07T13:46:19.154850Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:46:18.959790Z","title":"In: Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017","venue":null,"work_id":"431540a1-d693-45c7-a4d1-f2e195c73163","year":2017},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:14.422597Z"},"links":{"citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:00d03b99e80e02e847138dba167bd4f6984664a2edcb26f90e7f97197d73c8bb","observation_id":"60308365-6456-4756-9e56-7d29a524c8ef","resolution":{"observed_at":"2026-08-07T13:46:19.035020Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:46:18.829532Z","title":"In: SEAMS’24: Proceedings of the 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems","venue":null,"work_id":"d79fcc2a-c79e-4051-9390-e87a97a579c2","year":2024},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:14.472605Z"},"links":{"citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:bdc1a584c796daf4a6d56891399976b75974f642676797727a344362b8e483b7","observation_id":"76ad6d03-31e8-4cc8-9ae0-4c898f72d5c1","resolution":{"observed_at":"2026-08-07T13:46:18.873916Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:46:18.685998Z","title":"Software & Systems Modeling 14, 483–524 (2015)","venue":null,"work_id":"886fe2ca-a3ca-4dee-9ad2-adbdc2ae2a62","year":2015},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:14.529232Z"},"links":{"citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:ac5e7edd0fb036c601cb411f218992d8a9495896b5c7d78259ac9678b135e738","observation_id":"dbfdcd38-49fa-4d71-92fb-a51e38be3601","resolution":{"observed_at":"2026-08-07T13:46:18.790656Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:46:18.493562Z","title":"In: Procs of 29th International Conference on Computer Aided Verification, CAV 2017, Heidelberg, Germany, July 24-28","venue":null,"work_id":"38d4612b-e19f-4acb-8948-7519e7ae2486","year":2017},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:14.596554Z"},"links":{"citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:ed912deae0dd0e9e4c25b827a6805b21c8f25480f94ecf179d470f1fbe6bdd23","observation_id":"8c44202a-0510-45d9-a0ea-bc8a37a215e0","resolution":{"observed_at":"2026-08-07T13:46:18.602477Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:46:18.273925Z","title":"In: Artificial intelligence safety and security, pp","venue":null,"work_id":"c3330f89-0569-43be-a073-7882b7e8db9e","year":2018},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:14.681184Z"},"links":{"citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:bfffc89f193848bf48051ebbc59c05949ddab325ff2189902630488a0255078e","observation_id":"c323db2e-c546-4e9f-8ab5-a173c14122b2","resolution":{"observed_at":"2026-08-07T13:46:18.389259Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:46:18.078804Z","title":"In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS)","venue":null,"work_id":"417b0a8c-4548-40ba-8de9-d18c994974b7","year":2019},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:14.742021Z"},"links":{"citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:9c340bb28d703a337f9c1544dda95c8dcbd46516c8f8707b97a676c4b5b9c425","observation_id":"3fe0094c-b1cf-44d4-9e53-95766fc4579e","resolution":{"observed_at":"2026-08-07T13:46:18.160442Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:46:17.893798Z","title":"In: Procs of 6th KES International Conference: Agent and Multi-Agent Systems, Technologies and Applications (KES-AMSTA), June 25-27","venue":null,"work_id":"2300109c-050a-4fd7-8034-557ed882159d","year":2012},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:14.794645Z"},"links":{"citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:1b12d85e86e3b251948b179afb164a70ee52c1cffa2988e807844f5a4e673128","observation_id":"442215c8-f3c0-4389-b590-39bc7f13029f","resolution":{"observed_at":"2026-08-07T13:46:17.972877Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:46:17.747841Z","title":"Autonomous Agents and Multi-Agent Systems25, 260–283 (2012)","venue":null,"work_id":"27c2dbd4-7cf7-492d-a972-7703346cc6f7","year":2012},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:14.893702Z"},"links":{"citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:0a440816a4ba7d6dbfbbc439cc5d7adf9de22e59ae2859d08b52d47218773763","observation_id":"02663cc9-dffb-4b9c-a708-d150ea267c74","resolution":{"observed_at":"2026-08-07T13:46:17.812723Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:46:17.556915Z","title":"http://gazebosim.org/ (2019)","venue":null,"work_id":"cebfa1a4-ece1-4651-a437-272dd725e913","year":2019},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:14.957350Z"},"links":{"citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:4467ece721d77c2c65b21feeb3c343a8573a730fe106a4dd073bc9656bc64c0b","observation_id":"2f52ec4e-fdf6-4bbf-b88c-cc6db6ba3d77","resolution":{"observed_at":"2026-08-07T13:46:17.671350Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:46:17.326196Z","title":"In: proceedings of the 26th Symposium on Operating Systems Principles","venue":null,"work_id":"8b64ec3f-e72e-4658-adab-612ec801699d","year":2017},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:15.035085Z"},"links":{"citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:5207e84cd7b620f64fa9c1819bba0ebfc24af6803f3f44fcb68a3513b012638b","observation_id":"d0769b48-7bd0-4037-9acd-8560d7416d71","resolution":{"observed_at":"2026-08-07T13:46:17.433866Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5366.36250","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:46:15.976519Z","title":"In: Procs of the 12th Latin-American Symposium on Dependable and Secure Computing","venue":null,"work_id":"ca7f4eee-0d74-4c45-ba5d-a65ab9fa8a8a","year":2023},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:15.077702Z"},"links":{"citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:cb3db6d5e05c5aebb6b9d4f71e3046ac860442a3105313c4913343f294b787c5","observation_id":"49451878-0903-490c-8c7c-190f26c14bf2","resolution":{"observed_at":"2026-08-07T13:46:16.041113Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:46:17.145154Z","title":"In: The Yorkshire Innovation in Science and Engineering Conference (YISEC) 2024","venue":null,"work_id":"f67cac6e-20a0-40a4-afaa-8c6f27d125a7","year":2024},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:15.172110Z"},"links":{"citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:79131a5cc353c19231a744d2907caf56adf3465575179d7579b4074d51a879f6","observation_id":"29bbdb70-1492-4d72-93ec-998d8bcfdba4","resolution":{"observed_at":"2026-08-07T13:46:17.215073Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:46:16.951652Z","title":null,"venue":null,"work_id":"d80a5f33-c7ab-46ce-a624-3a80949622c5","year":2020},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:15.263908Z"},"links":{"citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:c831a107133331005dd73b9b3ad1750af6097d0805a32169b6aebbcae0337e39","observation_id":"1fd2074d-880e-4846-a5ee-857af7a415c7","resolution":{"observed_at":"2026-08-07T13:46:17.076028Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:46:15.339370Z","title":"In: Towards Autonomous Robotic Systems: 25th Annual Conference, TAROS 2024, London, UK, August 21–23, Proceedings","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:15.339370Z"},"links":{"citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:b975e9253fb574081164fad8d7eb75b3c1dac9018b9ee41d38917005df1036b8","observation_id":"2b299bfe-20fc-46cd-b3ab-8d6b0849b5e3","resolution":{"observed_at":"2026-08-07T13:46:15.339370Z","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-07T13:46:16.760927Z","title":"Ieee Access7, 48572–48634 (2019)","venue":null,"work_id":"ed678a51-2ade-432f-bdbf-ee5f73dee4a1","year":2019},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:15.416301Z"},"links":{"citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:3791e2794483184df05acb8c83c933e6969a4b3fd395952f46b45d9223b412a6","observation_id":"4e3427f1-a664-4ee2-869b-5e1ffbd6e449","resolution":{"observed_at":"2026-08-07T13:46:16.848832Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:46:16.628818Z","title":"International Electrotechnical Commission (2001)","venue":null,"work_id":"0004390e-a346-4a53-bcbb-1fd4902a8f96","year":2001},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:15.507789Z"},"links":{"citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:aa2984ef0977dbe88cdcbd3b11a68eeccfdb69d3006a444b30d43a09d17dacec","observation_id":"093e1abb-f8bb-4e30-9aaa-605db384ab05","resolution":{"observed_at":"2026-08-07T13:46:16.680937Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:46:16.518031Z","title":"In: Procs Modelling and Simulation for Autonomous Systems: 8th International Conference, MESAS 2021, October 13–14, 2021","venue":null,"work_id":"370e7ffc-32b6-43b6-b169-3d798c0d8a9c","year":2022},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:15.586155Z"},"links":{"citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:73e95341974890b086a8f7f1fa40d9892f56993cef903dbad826376b9102c100","observation_id":"d13b4b32-7c88-43b0-a742-d5a55c2f49e1","resolution":{"observed_at":"2026-08-07T13:46:16.563647Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:46:16.459414Z","title":null,"venue":null,"work_id":"52d08d0b-0239-470d-a634-b914cb79c6a3","year":2023},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:15.641059Z"},"links":{"citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:3e0b71057595c0a5f66e959297ad028221cc0f3f8d2e8e131d71c5093f9ce2bb","observation_id":"10790de8-691e-4c53-a098-1af0f6e6d529","resolution":{"observed_at":"2026-08-07T13:46:16.494348Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:46:16.381678Z","title":"In: Software Engineering for Self-Adaptive Systems II: International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010","venue":null,"work_id":"193e6538-cef2-4cba-a1b8-62b450b15b53","year":2013},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:15.679965Z"},"links":{"citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:a92a2467f969c8397f66e6ca029e3f11cd7dc31876b4e023c0839219289111ba","observation_id":"042cfc2d-6e46-4806-95b5-b150868adeb3","resolution":{"observed_at":"2026-08-07T13:46:16.424851Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:46:16.247540Z","title":"In: Proceedings of the 40th international confer- ence on software engineering","venue":null,"work_id":"b402de9a-9069-4ff0-beef-c9b8bed5bf0a","year":2018},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:15.744903Z"},"links":{"citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:de1018e56126ebc648aecce4e3852e3ad2bf3235946d29ce1d9e435a389b69c1","observation_id":"96a939d2-47e1-419b-862b-31caa6b4b436","resolution":{"observed_at":"2026-08-07T13:46:16.300322Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-07T13:46:16.147122Z","title":"In: 2015 IEEE 18th international con- ference on intelligent transportation systems","venue":null,"work_id":"3dfcf5b3-571a-4d1b-b44e-6158d9a0111e","year":2015},"citing_paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T13:46:15.795798Z"},"links":{"citing_paper":"/paper/2505.20969"},"observation_digest":"sha256:7f39782ccf31212374b7e98f46152c73accb89df397e0989416282acf946f128","observation_id":"91efb333-c0fc-4d18-90f0-32fc6f996f67","resolution":{"observed_at":"2026-08-07T13:46:16.199730Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.20969","last_updated":"2025-05-27T10:03:08Z","latest_version":1,"primary_category":"cs.RO","snapshot_observed_at":"2026-08-09T05:42:17.758695Z","submitted_at":"2025-05-27T10:03:08Z","title":"SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment"},"reference_resolution":{"displayed":31,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":10,"verified_exact":0,"verified_fuzzy":20},"total_outbound_references":31},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 3 inbound Pith citation observations for arXiv:2505.20969."}