{"as_of":"2026-08-08T13:32:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:01ade957460ab7b873f8d9cd2d9c6df9a81eb10e916a24bdb5c7f942b8d62283","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-08T06:32:00.761636+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-07T13:40:29.273389Z","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-06T16:50:08.207146Z","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:25cd112d50bd74f58d7a35032b1969c948568e0a351c6097b5a5aba6888b23c8","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-07T13:40:29.273389Z","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-06T16:31:01.506837Z","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:0fe019afcf2597e1fb77cdb0e852b47cbca96765f9cf83c5131b2ce3bdc74f30","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-07T13:40:29.273389Z","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:2783b10e5f87e06c028e5320b0f107f59c58013e229fa3a90c1931a475205c13","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:40:29.273389Z","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:c8f5bab868fba65b73e4154310f27e729fcb8e4f7f0f8da5b0e95127f0be6661","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:40:29.273389Z","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:9c5b77248e0817e36ef92338945381671f1a52007d1a07c770c22c245e6e9ffb","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:40:29.273389Z","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:35cce4a18a6c3f2c8bcb43679aced08ea314154aa75a6158760754d1895b5886","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:40:29.273389Z","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:98b555011f3bae4bf1518ab531c9b080e0bcd3a8b61ace1c1203878d4af875bb","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:40:29.273389Z","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:071e624513fa822529deab741ff0f8d13db3b513ec961d763519817b676db06b","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:40:29.273389Z","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:5ca7cb664f56a5b553679eb3ecc598090b37dee4d3d06c83c1f4d4c248bf4040","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:40:29.273389Z","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:6738714f00de95f5e457445aba3dc455f36e452ab45d08d1befaf9dcc4ca61a8","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-07T13:40:29.273389Z","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:ca64f3b859c86fcb9bb10eb7ae1c39abd55463e8c16718c42b4f4c6e5f8ce900","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-07T13:40:29.273389Z","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:cf78c9c4cb97f89103b90ab57828486b7927859abf59528e0df92a3acce0b5fd","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:40:29.273389Z","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:0e31df5b0f9c48567dfc6d1fcb31dbffbf7dbfe0f9d56c6356de08f1b3e2d5f8","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:40:29.273389Z","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:f23b7919f42410675d9fd29594633abbd2f840eedaf9876f9c5d456111f4b186","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:40:29.273389Z","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:875af6cc6882a0fbfb1bc79d77e6b2ad25a03dab056d9e79dae77529e1d51639","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:40:29.273389Z","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:d2d5b53eb912d038e9c023ea446a9ba63676acf31d4aca223308e8d1088da058","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:40:29.273389Z","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:71ea2f8365613d99a5a9df16b296625cfdddde3d98e3fb09295d2dd1fbaab7af","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:40:29.273389Z","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:c0ffd076ada9b555c5811a6d27d13f2a512706bea3be2217ecdfe4dbf41e2e42","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:40:29.273389Z","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:7d494cef5b5792b08f75055aca99bde33b13505f82353445df3a95a7d54b0e86","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:40:29.273389Z","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:10cf3cf80a5bec1e7946874745070d526c9b83617f8ba84c0ac81f865741cdc1","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:40:29.273389Z","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:f5241df2b85c9b545c60176c3ed279ce1b147130dcb5ba287064691ea0e656d4","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:40:29.273389Z","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:a7aa397513cecc54f70399734c6575e3782d0d240b3e14bdcc798a5e4ada2c27","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:40:29.273389Z","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:f5090039489f21c6c24150f98ce7076aa56a6c627f3d8dad97939fb994fa199c","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:40:29.273389Z","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:7019d62b621f7e3e9bd3ab3becb213f983d0489278f1dec1458fd68daac88efc","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:40:29.273389Z","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:c55470da79620d2dba19ae2290eb813bb969483c9d91d48243d826c22bde7489","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:40:29.273389Z","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:17ad55349579313d2337fde27bcc36322622813572fcafad43b430a46d076ae1","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:40:29.273389Z","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:3f783ecb683fce6cbd9cfb0fe17f1328698f6e194399b15d3f8d2471d9d060e4","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-07T13:40:29.273389Z","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:ab065e6481b72da9b3d10e801ff10dd217eb9349a7814f64d752154f7f304d23","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:40:29.273389Z","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:de7a9ccea816aec4f0cf4b95e859d53cdf81fd2ebe3c031cec5e09ad0466d8d1","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:40:29.273389Z","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:60fcd50e6d0df194ca01560fb9ed478c7769eed31590d2ad7bc85b0d7541bf97","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:40:29.273389Z","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:fc6cab9aa8904e024242c25ac848968ef1b25e22696b613169a8b52ac936ffec","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:40:29.273389Z","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:ae35e5d13c1c1edf21086585dd77d28678be1e10bfab43f55784935b9c1c6fe6","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:40:29.273389Z","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:519593d01db6f9035fee47476759916f1b650432db28f4f7b6892f7287e301b4","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:40:29.273389Z","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:91267e59c020d4d9fa7d6a80f70e75b305dcfe1d4cd486dc2da693af0d92575e","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T13:40:29.273389Z","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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 3 inbound Pith citation observations for arXiv:2505.20969."}