Paper Citation Record · LEDGER

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment

As of 13 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 3 inbound Pith citation observations for arXiv:2505.20969.

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

pith.paper-citation-record.v1
2505.20969 v1

Coverage vector

measured 31 of 31 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T13:46:15.795798Z

measured 34 of 34 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+00:00

measured 3 of 3 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-06T16:56:07.665076Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-11T07:26:03.114959Z

Reference resolution

31 of 31 outbound references displayed

verified exact0
verified fuzzy20
unresolved10
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation dad765ff-39e7-474b-8634-6e7e00df6c12 · outbound

This paper cites an unresolved cited work.

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:46:20.291097Z

Source-reported events for the cited work

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

Observation 6d2f854f-011c-4da0-91ab-bb47e2553231 · outbound

This paper cites an unresolved cited work.

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:46:20.095216Z

Source-reported events for the cited work

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

Observation 681d5819-4a14-4f7a-bca3-ecb75a6561f3 · outbound

This paper cites In: Proceedings of the 40th International Conference on Software Engineering.

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment In: Proceedings of the 40th International Conference on Software Engineering

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:46:19.957728Z

Source-reported events for the cited work

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

Observation 607b6624-e6e3-4e7c-80b1-04fc82905620 · outbound

This paper cites an unresolved cited work.

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:46:19.780119Z

Source-reported events for the cited work

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

Observation 0cf15bfa-0824-4df4-96eb-2b8b5f853caa · outbound

This paper cites an unresolved cited work.

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:46:19.631130Z

Source-reported events for the cited work

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

Observation 7bd9b715-44cc-4781-83ce-c05dab560dc9 · outbound

This paper cites In: Procs of 23rd ACM/IEEE Conference on Model Driven Engineering Languages and Systems (2020).

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment In: Procs of 23rd ACM/IEEE Conference on Model Driven Engineering Languages and Systems (2020)

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:46:19.461783Z

Source-reported events for the cited work

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

Observation 75a1953e-762c-4dcd-a385-c84c27c43be2 · outbound

This paper cites Situation Coverage Testing for a Simulated Autonomous Car -- an Initial Case Study.

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment Situation Coverage Testing for a Simulated Autonomous Car -- an Initial Case Study

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-07T13:46:14.139731Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0997be77-c8d3-4308-af1e-e1ed46eefde7 · outbound

This paper cites Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE).

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE)

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-07T13:46:14.183556Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1dafaac8-02d9-4571-aba2-15faf395512d · outbound

This paper cites an unresolved cited work.

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:46:19.343326Z

Source-reported events for the cited work

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

Observation 9d471d3f-1c27-4ef8-8229-2dd5e0a6ec72 · outbound

This paper cites Neural Computing and Applications,33(6), 2015– 2033 (2021).

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment Neural Computing and Applications,33(6), 2015– 2033 (2021)

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:46:19.154850Z

Source-reported events for the cited work

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

Observation 60308365-6456-4756-9e56-7d29a524c8ef · outbound

This paper cites In: Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017.

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment In: Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:46:19.035020Z

Source-reported events for the cited work

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

Observation 76ad6d03-31e8-4cc8-9ae0-4c898f72d5c1 · outbound

This paper cites In: SEAMS’24: Proceedings of the 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems.

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment In: SEAMS’24: Proceedings of the 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:46:18.873916Z

Source-reported events for the cited work

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

Observation dbfdcd38-49fa-4d71-92fb-a51e38be3601 · outbound

This paper cites Software & Systems Modeling 14, 483–524 (2015).

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment Software & Systems Modeling 14, 483–524 (2015)

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:46:18.790656Z

Source-reported events for the cited work

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

Observation 8c44202a-0510-45d9-a0ea-bc8a37a215e0 · outbound

This paper cites In: Procs of 29th International Conference on Computer Aided Verification, CAV 2017, Heidelberg, Germany, July 24-28.

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment In: Procs of 29th International Conference on Computer Aided Verification, CAV 2017, Heidelberg, Germany, July 24-28

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:46:18.602477Z

Source-reported events for the cited work

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

Observation c323db2e-c546-4e9f-8ab5-a173c14122b2 · outbound

This paper cites In: Artificial intelligence safety and security, pp.

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment In: Artificial intelligence safety and security, pp

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:46:18.389259Z

Source-reported events for the cited work

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

Observation 3fe0094c-b1cf-44d4-9e53-95766fc4579e · outbound

This paper cites In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS).

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS)

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:46:18.160442Z

Source-reported events for the cited work

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

Observation 442215c8-f3c0-4389-b590-39bc7f13029f · outbound

This paper cites In: Procs of 6th KES International Conference: Agent and Multi-Agent Systems, Technologies and Applications (KES-AMSTA), June 25-27.

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment In: Procs of 6th KES International Conference: Agent and Multi-Agent Systems, Technologies and Applications (KES-AMSTA), June 25-27

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:46:17.972877Z

Source-reported events for the cited work

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

Observation 02663cc9-dffb-4b9c-a708-d150ea267c74 · outbound

This paper cites Autonomous Agents and Multi-Agent Systems25, 260–283 (2012).

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment Autonomous Agents and Multi-Agent Systems25, 260–283 (2012)

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:46:17.812723Z

Source-reported events for the cited work

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

Observation 2f52ec4e-fdf6-4bbf-b88c-cc6db6ba3d77 · outbound

This paper cites http://gazebosim.org/ (2019).

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment http://gazebosim.org/ (2019)

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:46:17.671350Z

Source-reported events for the cited work

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

Observation d0769b48-7bd0-4037-9acd-8560d7416d71 · outbound

This paper cites In: proceedings of the 26th Symposium on Operating Systems Principles.

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment In: proceedings of the 26th Symposium on Operating Systems Principles

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:46:17.433866Z

Source-reported events for the cited work

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

Observation 49451878-0903-490c-8c7c-190f26c14bf2 · outbound

This paper cites In: Procs of the 12th Latin-American Symposium on Dependable and Secure Computing.

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment In: Procs of the 12th Latin-American Symposium on Dependable and Secure Computing

Reference 21

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T13:46:16.041113Z

Source-reported events for the cited work

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

Observation 29bbdb70-1492-4d72-93ec-998d8bcfdba4 · outbound

This paper cites In: The Yorkshire Innovation in Science and Engineering Conference (YISEC) 2024.

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment In: The Yorkshire Innovation in Science and Engineering Conference (YISEC) 2024

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:46:17.215073Z

Source-reported events for the cited work

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

Observation 1fd2074d-880e-4846-a5ee-857af7a415c7 · outbound

This paper cites an unresolved cited work.

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:46:17.076028Z

Source-reported events for the cited work

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

Observation 2b299bfe-20fc-46cd-b3ab-8d6b0849b5e3 · outbound

This paper cites In: Towards Autonomous Robotic Systems: 25th Annual Conference, TAROS 2024, London, UK, August 21–23, Proceedings.

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment In: Towards Autonomous Robotic Systems: 25th Annual Conference, TAROS 2024, London, UK, August 21–23, Proceedings

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-07T13:46:15.339370Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e3427f1-a664-4ee2-869b-5e1ffbd6e449 · outbound

This paper cites Ieee Access7, 48572–48634 (2019).

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment Ieee Access7, 48572–48634 (2019)

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:46:16.848832Z

Source-reported events for the cited work

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

Observation 093e1abb-f8bb-4e30-9aaa-605db384ab05 · outbound

This paper cites International Electrotechnical Commission (2001).

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment International Electrotechnical Commission (2001)

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:46:16.680937Z

Source-reported events for the cited work

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

Observation d13b4b32-7c88-43b0-a742-d5a55c2f49e1 · outbound

This paper cites In: Procs Modelling and Simulation for Autonomous Systems: 8th International Conference, MESAS 2021, October 13–14, 2021.

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment In: Procs Modelling and Simulation for Autonomous Systems: 8th International Conference, MESAS 2021, October 13–14, 2021

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:46:16.563647Z

Source-reported events for the cited work

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

Observation 10790de8-691e-4c53-a098-1af0f6e6d529 · outbound

This paper cites an unresolved cited work.

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:46:16.494348Z

Source-reported events for the cited work

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

Observation 042cfc2d-6e46-4806-95b5-b150868adeb3 · outbound

This paper cites In: Software Engineering for Self-Adaptive Systems II: International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010.

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment In: Software Engineering for Self-Adaptive Systems II: International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:46:16.424851Z

Source-reported events for the cited work

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

Observation 96a939d2-47e1-419b-862b-31caa6b4b436 · outbound

This paper cites In: Proceedings of the 40th international confer- ence on software engineering.

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment In: Proceedings of the 40th international confer- ence on software engineering

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:46:16.300322Z

Source-reported events for the cited work

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

Observation 91efb333-c0fc-4d18-90f0-32fc6f996f67 · outbound

This paper cites In: 2015 IEEE 18th international con- ference on intelligent transportation systems.

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment In: 2015 IEEE 18th international con- ference on intelligent transportation systems

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:46:16.199730Z

Source-reported events for the cited work

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

Pith citing papers

Observation b720539e-1490-469b-9aa6-0da1496ce98c · inbound

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach cites this paper.

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-06T16:56:07.665076Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c464dc00-4fe0-4c64-8904-02fe04fa236d · inbound

Robustness Requirement Coverage using a Situation Coverage Approach for Vision-based AI Systems cites this paper.

Robustness Requirement Coverage using a Situation Coverage Approach for Vision-based AI Systems SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-06T16:38:07.503533Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23b46b24-fd42-47d6-b168-9c9919c1c107 · inbound

Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems cites this paper.

Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment

Reference 30

Resolution: verified exact; arxiv_id, observed 2026-05-11T07:26:03.118520Z

Source-reported events for the cited work

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