Paper Citation Record · LEDGER

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications

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

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

pith.paper-citation-record.v1
2501.17028 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-10T05:05:10.639556Z

measured 31 of 31 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

31 of 31 outbound references displayed

verified exact3
verified fuzzy26
unresolved2
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 54e63e61-3412-465a-8167-ae628d4356f0 · outbound

This paper cites DO-178C: Software Considerations in Airborne Systems and Equipment Certification,.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications DO-178C: Software Considerations in Airborne Systems and Equipment Certification,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:05:11.003264Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 2d1c5df3-6f49-4e30-9c7d-95ea4f64f92f · outbound

This paper cites How to certify machine learning based safety-critical systems? a systematic literature review,.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications How to certify machine learning based safety-critical systems? a systematic literature review,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:05:10.992883Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 5960b435-50a6-41cb-87a0-bc607e6324a6 · outbound

This paper cites Identifying challenges to the certification of machine learning for safety critical systems,.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications Identifying challenges to the certification of machine learning for safety critical systems,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:05:10.982701Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 58df2a76-5ac0-44e6-b443-6e619ea4b7f9 · outbound

This paper cites Continuous validation for data analytics systems,.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications Continuous validation for data analytics systems,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:05:10.973389Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation e1a84c15-3c48-43fd-90e8-0a57a08abff8 · outbound

This paper cites Data integrity challenges and solutions in machine learning- driven clinical trials,.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications Data integrity challenges and solutions in machine learning- driven clinical trials,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:05:10.963423Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 85377002-468b-49ea-9453-8ff9a03e2995 · outbound

This paper cites Tensorflow data validation: Data analysis and validation in continuous ml pipelines,.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications Tensorflow data validation: Data analysis and validation in continuous ml pipelines,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:05:10.953623Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 3854837a-c987-49e9-b375-9687b2234874 · outbound

This paper cites Engineering ai systems: A research agenda,.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications Engineering ai systems: A research agenda,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:05:10.944151Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation b7163107-dfb2-4ddd-a0c0-641d43269c84 · outbound

This paper cites Aleatoric and epistemic uncertainty in machine learning: An introduction to concepts and methods,.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications Aleatoric and epistemic uncertainty in machine learning: An introduction to concepts and methods,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:05:10.934837Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation d113efb1-e554-426a-bf76-dc26ef6c94a6 · outbound

This paper cites Easa artificial intelligence (ai) concept paper issue 2: Guidance for level 1&2 machine learning applications,.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications Easa artificial intelligence (ai) concept paper issue 2: Guidance for level 1&2 machine learning applications,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:05:10.925423Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation eccc371a-2208-480d-8cae-06b75459488b · outbound

This paper cites Toward certification of machine-learning systems for low criticality airborne applications,.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications Toward certification of machine-learning systems for low criticality airborne applications,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:05:10.914503Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 72197d0b-2f82-4e2a-9e4e-ed4a2ba0e435 · outbound

This paper cites Jocher et al., “Yolov8.” https://github.com/ultralytics/ultralytics, 2023.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications Jocher et al., “Yolov8.” https://github.com/ultralytics/ultralytics, 2023

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:05:10.903522Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 5c961eb0-c276-4640-baae-00c5599f844d · outbound

This paper cites Hidden technical debt in machine learning systems,.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications Hidden technical debt in machine learning systems,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:05:10.893093Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 49d533fb-ad0b-4bbe-bc27-d622aef68116 · outbound

This paper cites Artificial intelligence for safety-critical systems in industrial and transportation domains: A survey,.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications Artificial intelligence for safety-critical systems in industrial and transportation domains: A survey,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:05:10.882267Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation d002b1ce-767e-47b1-b813-d6fd96b683d3 · outbound

This paper cites Correctness verification of neural networks,.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications Correctness verification of neural networks,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:05:10.870984Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation d364a826-d548-4f6e-ad18-4e36c6dc2df4 · outbound

This paper cites Deepxplore: Automated whitebox testing of deep learning systems,.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications Deepxplore: Automated whitebox testing of deep learning systems,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:05:10.860350Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 41dab6aa-30fd-40ce-a2f4-208f66c04124 · outbound

This paper cites Deeptest: Automated testing of deep-neural-network-driven autonomous cars,.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications Deeptest: Automated testing of deep-neural-network-driven autonomous cars,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:05:10.849366Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 0ae92cc8-6597-4c0d-9825-e8be4ef3e154 · outbound

This paper cites The ml test score: A rubric for ml production readiness and technical debt reduction,.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications The ml test score: A rubric for ml production readiness and technical debt reduction,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:05:10.838791Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation e695d9a8-ec0b-44fd-8fbf-30ae4e6a10b6 · outbound

This paper cites Ai/ml for safety-critical software: the case of the space domain,.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications Ai/ml for safety-critical software: the case of the space domain,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:05:10.829021Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 42ee9a19-3089-433b-8f1e-f9e9531cc058 · outbound

This paper cites Tool qualification aspects in ml-based airborne systems development,.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications Tool qualification aspects in ml-based airborne systems development,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:05:10.818589Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation c510487b-0c6f-425f-9148-50c580c1e61a · outbound

This paper cites DO-330: Software Tool Qualification Considerations,.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications DO-330: Software Tool Qualification Considerations,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:05:10.808122Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 5afa8b65-c703-4c9b-a618-8b7266b5ec09 · outbound

This paper cites DO-200B: Standards for Processing Aeronautical Data,.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications DO-200B: Standards for Processing Aeronautical Data,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:05:10.798075Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation f0c3a9c1-0605-45af-b0ba-576124c3119c · outbound

This paper cites White Paper Machine Learning in Certified Systems.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications White Paper Machine Learning in Certified Systems

Reference 22

Resolution: verified exact; local_arxiv, observed 2026-08-10T05:05:10.730029Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 9332e02a-ad54-421c-bca7-906912be2e22 · outbound

This paper cites Towards certifiable AI in aviation: landscape, challenges, and opportunities.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications Towards certifiable AI in aviation: landscape, challenges, and opportunities

Reference 23

Resolution: verified exact; local_arxiv, observed 2026-08-10T05:05:10.714809Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 08ad16a8-4f7c-446d-9949-6b0f6dc417f9 · outbound

This paper cites Framework for Certification of AI-Based Systems.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications Framework for Certification of AI-Based Systems

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-10T05:05:10.617192Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 640bbefb-f7e6-4024-9485-3157a6261c62 · outbound

This paper cites Rierson, Developing safety-critical software: a practical guide for aviation software and DO-178C compliance.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications Rierson, Developing safety-critical software: a practical guide for aviation software and DO-178C compliance

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:05:10.787767Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation eded3b07-d411-4fab-a024-57f41ea1a25b · outbound

This paper cites I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems

Reference 26

Resolution: verified exact; local_arxiv, observed 2026-08-10T05:05:10.687945Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 292c08e0-3774-4f84-9342-1ed0b50cbde4 · outbound

This paper cites Test & Evaluation Best Practices for Machine Learning-Enabled Systems.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications Test & Evaluation Best Practices for Machine Learning-Enabled Systems

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-10T05:05:10.626842Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 08bbabe6-3aa3-4950-8aef-27b405a6fb29 · outbound

This paper cites Rethinking certification for trustworthy machine learning-based applications,.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications Rethinking certification for trustworthy machine learning-based applications,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:05:10.777335Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation a88823be-0530-45be-995b-c866d8c855b0 · outbound

This paper cites Application and certification challenges for ai/ml techniques in safety critical avionics systems,.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications Application and certification challenges for ai/ml techniques in safety critical avionics systems,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:05:10.765758Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation bfaf7681-ab64-4c43-a0db-54f0481403ee · outbound

This paper cites Military vehicles object detection dataset.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications Military vehicles object detection dataset

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:05:10.753788Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 2b6f7319-f45e-431b-94de-9879f719fa63 · outbound

This paper cites Deepchecks: A library for testing and validating machine learning models and data,.

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications Deepchecks: A library for testing and validating machine learning models and data,

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T05:05:10.742137Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Pith citing papers

No inbound Pith citation observations are available.