Paper Citation Record · LEDGER

Neural Network Verification for Gliding Drone Control: A Case Study

As of 16 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 1 inbound Pith citation observation for arXiv:2505.00622.

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

pith.paper-citation-record.v1
2505.00622 v1

Coverage vector

measured 37 of 37 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T04:43:43.146081Z

measured 38 of 38 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-16T04:48:45.934818Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-16T12:16:17.039197Z

Reference resolution

37 of 37 outbound references displayed

verified exact5
verified fuzzy15
unresolved14
parse uncertain0
malformed identifier2
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation b0fc7f27-b18e-4635-bc2c-8765849b44a6 · outbound

This paper cites In: 2019 IEEE International Sym- posium on Robotic and Sensors Environments (ROSE).

Neural Network Verification for Gliding Drone Control: A Case Study In: 2019 IEEE International Sym- posium on Robotic and Sensors Environments (ROSE)

Reference 1

Resolution: metadata mismatch; raw_fallback, observed 2026-08-16T04:43:44.937368Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 46f845ec-7738-42fc-a3b0-c1114f5d56c6 · outbound

This paper cites an unresolved cited work.

Neural Network Verification for Gliding Drone Control: A Case Study Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-16T04:43:46.045148Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 7ae26b8d-6cf1-4729-9116-9bc6218f45ec · outbound

This paper cites In: Proceedings of the Thirteenth In- ternational Conference on Machine Vision.

Neural Network Verification for Gliding Drone Control: A Case Study In: Proceedings of the Thirteenth In- ternational Conference on Machine Vision

Reference 3

Resolution: verified exact; doi, observed 2026-08-16T04:43:43.453330Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation dc484241-294f-4f96-b888-f1df673ff6aa · outbound

This paper cites Journal of The- oretical Biology129(3), 263–274 (1987).https://doi.org/https://doi.org/10.

Neural Network Verification for Gliding Drone Control: A Case Study Journal of The- oretical Biology129(3), 263–274 (1987).https://doi.org/https://doi.org/10

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:43:45.964966Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 3d8b91d3-76eb-462d-98b7-2ef5476eecaf · outbound

This paper cites The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results.

Neural Network Verification for Gliding Drone Control: A Case Study The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:41.865299Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f05dbe6-cbbe-45df-95fe-0a4023070576 · outbound

This paper cites Computer Aided Verification pp.

Neural Network Verification for Gliding Drone Control: A Case Study Computer Aided Verification pp

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:43:45.880549Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation ed01abf5-be1f-4c5c-83ad-91df0b94a8c8 · outbound

This paper cites Phd thesis, University of Edin- burgh (February 2023).

Neural Network Verification for Gliding Drone Control: A Case Study Phd thesis, University of Edin- burgh (February 2023)

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:43:45.829948Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 6ed5732a-f615-4d3a-9fbf-17b470150501 · outbound

This paper cites Neural Network Verification is a Programming Language Challenge.

Neural Network Verification for Gliding Drone Control: A Case Study Neural Network Verification is a Programming Language Challenge

Reference 8

Resolution: verified exact; local_arxiv, observed 2026-08-16T04:43:44.581327Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation a75e5bc7-b162-46b4-a323-00edf8585635 · outbound

This paper cites Nature 562, 414–418 (2018),https://doi.org/10.1038/s41586-018-0604-2.

Neural Network Verification for Gliding Drone Control: A Case Study Nature 562, 414–418 (2018),https://doi.org/10.1038/s41586-018-0604-2

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:41.992334Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0eb137cd-b7d6-4563-9bf8-3e4144979e9c · outbound

This paper cites github.io/tutorial/.

Neural Network Verification for Gliding Drone Control: A Case Study github.io/tutorial/

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:43:45.776028Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 340451c4-2143-4a97-9890-b829b2ae51b0 · outbound

This paper cites an unresolved cited work.

Neural Network Verification for Gliding Drone Control: A Case Study Unresolved cited work

Reference 11

Resolution: verified exact; raw_fallback, observed 2026-08-16T04:43:44.501468Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation c868a6a2-9c31-471f-a69a-fbf5aca9ec89 · outbound

This paper cites an unresolved cited work.

Neural Network Verification for Gliding Drone Control: A Case Study Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-16T04:43:45.696482Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation dbe5c134-8022-4456-a06c-5006e758f48f · outbound

This paper cites an unresolved cited work.

Neural Network Verification for Gliding Drone Control: A Case Study Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-16T04:43:45.608676Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 98af69f2-bccf-405a-b374-6f784bf7f5e6 · outbound

This paper cites Science of Computer Programming244, 103280 (Sep 2025).

Neural Network Verification for Gliding Drone Control: A Case Study Science of Computer Programming244, 103280 (Sep 2025)

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:42.237329Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7b04ba4-3466-4fd4-8ad1-6a1cc12aee90 · outbound

This paper cites workshop on applied verification for continuous and hybrid systems.

Neural Network Verification for Gliding Drone Control: A Case Study workshop on applied verification for continuous and hybrid systems

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:43:45.549000Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 944d5190-df53-46a6-bafc-0cf67fe089df · outbound

This paper cites Nature603, 427–433 (2022).

Neural Network Verification for Gliding Drone Control: A Case Study Nature603, 427–433 (2022)

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:43:45.510171Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation ae051193-cb42-4488-ae59-44e0744dc4f3 · outbound

This paper cites an unresolved cited work.

Neural Network Verification for Gliding Drone Control: A Case Study Unresolved cited work

Reference 17

Resolution: verified exact; raw_fallback, observed 2026-08-16T04:43:44.225003Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 9ce37883-08c2-4bcb-aa73-6c36e4e3f638 · outbound

This paper cites Science Robotics8(82) (2023), https://www.science.org/doi/abs/10.

Neural Network Verification for Gliding Drone Control: A Case Study Science Robotics8(82) (2023), https://www.science.org/doi/abs/10

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:43:45.473661Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 93454bb8-5263-4580-901a-9e6412f6c7a0 · outbound

This paper cites Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks.

Neural Network Verification for Gliding Drone Control: A Case Study Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:42.447685Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 15df9958-60ae-4f2f-8aa6-1a8c6c43b61a · outbound

This paper cites 443– 452 (2019).

Neural Network Verification for Gliding Drone Control: A Case Study 443– 452 (2019)

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:43:45.418103Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation d7cf2c88-6176-4f2f-8b64-5ac15d6b76b9 · outbound

This paper cites Nature (2021), https://doi.org/10.1038/s41586-021-03847-y.

Neural Network Verification for Gliding Drone Control: A Case Study Nature (2021), https://doi.org/10.1038/s41586-021-03847-y

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:42.471587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 34ed18bc-4f79-4ab4-92fd-d5e2ae1ea050 · outbound

This paper cites NeurIPS 2018 tutorial (2018), available athttps://adversarial-ml-tutorial.org/.

Neural Network Verification for Gliding Drone Control: A Case Study NeurIPS 2018 tutorial (2018), available athttps://adversarial-ml-tutorial.org/

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:43:45.337853Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation f3a67365-bcb1-463a-a466-a28fdade07cf · outbound

This paper cites Neural Network Verification with PyRAT.

Neural Network Verification for Gliding Drone Control: A Case Study Neural Network Verification with PyRAT

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:42.525904Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4252ae48-8b0f-4a20-9183-6d23f0e603cd · outbound

This paper cites Journal of Fluid Mechanics937, A6 (2022).

Neural Network Verification for Gliding Drone Control: A Case Study Journal of Fluid Mechanics937, A6 (2022)

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:42.541599Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 809adbca-ce31-41c5-8f2a-cee1f97f9bb3 · outbound

This paper cites EPiC Series in Computing103, 64–121 (2024),https://easychair.org/ publications/paper/WsgX.

Neural Network Verification for Gliding Drone Control: A Case Study EPiC Series in Computing103, 64–121 (2024),https://easychair.org/ publications/paper/WsgX

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:43:45.275396Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation e5598bae-7bd9-4bf6-8534-13560dbdd2b0 · outbound

This paper cites Bionics and Sustainable Design (2022).

Neural Network Verification for Gliding Drone Control: A Case Study Bionics and Sustainable Design (2022)

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:43:45.233940Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 46370f56-3d10-4f32-9487-3452db977568 · outbound

This paper cites com/eth-sri/eran.

Neural Network Verification for Gliding Drone Control: A Case Study com/eth-sri/eran

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:43:45.166689Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 58bb5b68-866b-4a4a-9636-cdf3cfff366c · outbound

This paper cites IEEE Sensors Letters7(5), 1–4 (2023).

Neural Network Verification for Gliding Drone Control: A Case Study IEEE Sensors Letters7(5), 1–4 (2023)

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:43:45.123832Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 879123e1-7954-4f54-88b8-dee90250bbdc · outbound

This paper cites Springer, Cham (2018).

Neural Network Verification for Gliding Drone Control: A Case Study Springer, Cham (2018)

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:42.857985Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e1143321-fec4-4da9-88bd-ddacc2a183cc · outbound

This paper cites IEEE Access 10, 91073–91091 (2022).

Neural Network Verification for Gliding Drone Control: A Case Study IEEE Access 10, 91073–91091 (2022)

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:42.867931Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ca78ac1-cb6e-4469-bbce-46dda2d72f9c · outbound

This paper cites IEEE Access12, 103026–103048 (2024).https://doi.

Neural Network Verification for Gliding Drone Control: A Case Study IEEE Access12, 103026–103048 (2024).https://doi

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:42.879956Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 222afd6f-23a4-4863-8ff3-455d6c73bce9 · outbound

This paper cites Sensors22 (2022) Neural Network Verification for Gliding Drone Control: A Case Study 21.

Neural Network Verification for Gliding Drone Control: A Case Study Sensors22 (2022) Neural Network Verification for Gliding Drone Control: A Case Study 21

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:43:45.073356Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 15fd41e0-e7a9-49e8-a266-c224470d8993 · outbound

This paper cites Aerospace 8, 18 (2021).

Neural Network Verification for Gliding Drone Control: A Case Study Aerospace 8, 18 (2021)

Reference 33

Resolution: verified exact; doi, observed 2026-08-16T04:43:43.324026Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 6c8b3a08-717b-4407-a110-cc3f015b5eac · outbound

This paper cites IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems43(3), 994–1007 (2024).

Neural Network Verification for Gliding Drone Control: A Case Study IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems43(3), 994–1007 (2024)

Reference 34

Resolution: malformed identifier; no resolver link, observed 2026-08-16T04:43:43.115496Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 586ce186-b701-49c4-b9b1-ce91b091e9e2 · outbound

This paper cites Frontiers in Robotics and AI (2023).

Neural Network Verification for Gliding Drone Control: A Case Study Frontiers in Robotics and AI (2023)

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:43:45.029765Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation cd5794d0-21fb-4d4e-8e37-d7c8468e2bf0 · outbound

This paper cites an unresolved cited work.

Neural Network Verification for Gliding Drone Control: A Case Study Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-16T04:43:44.986980Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 97c61f9f-a92b-48e5-a31c-1ad474c3a6ae · outbound

This paper cites Efficient Neural Network Robustness Certification with General Activation Functions.

Neural Network Verification for Gliding Drone Control: A Case Study Efficient Neural Network Robustness Certification with General Activation Functions

Reference 37

Resolution: malformed identifier; no resolver link, observed 2026-08-16T04:43:43.146081Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation ba4ac81f-752e-4623-9e3d-c29b177d2a59 · inbound

A General Framework for Property-Driven Machine Learning cites this paper.

A General Framework for Property-Driven Machine Learning Neural Network Verification for Gliding Drone Control: A Case Study

Reference 36

Resolution: metadata mismatch; local_arxiv, observed 2026-08-16T04:48:46.991499Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.