Paper Citation Record · LEDGER

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation

As of 16 August 2026, this Paper Citation Record lists 38 of 38 outbound references and 0 inbound Pith citation observations for arXiv:1908.06353.

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

pith.paper-citation-record.v1
1908.06353 v1

Coverage vector

measured 38 of 38 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T12:55:25.796724Z

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 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

38 of 38 outbound references displayed

verified exact2
verified fuzzy19
unresolved17
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 4849f004-d32d-4bc1-9065-9a1dfdfe2e5d · outbound

This paper cites Learning deep control policies for autonomous aerial vehicles with mpc-guided policy search,.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation Learning deep control policies for autonomous aerial vehicles with mpc-guided policy search,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:26.500158Z

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 6320219a-ceef-4152-b8b5-a761b975fc51 · outbound

This paper cites Adversarial Attacks on Neural Network Policies.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation Adversarial Attacks on Neural Network Policies

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-14T12:55:25.611356Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a96d343-576d-4dae-b8fa-3e7d052fc354 · outbound

This paper cites Intriguing properties of neural networks.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation Intriguing properties of neural networks

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-14T12:55:25.617330Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8aca7f89-4f5c-41a8-9bda-3cf03e2b2503 · outbound

This paper cites Adversarial Examples for Semantic Segmentation and Object Detection.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation Adversarial Examples for Semantic Segmentation and Object Detection

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-14T12:55:25.622547Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 593245f9-32c5-4642-8e18-51258bafb938 · outbound

This paper cites Adversarial Examples for Evaluating Reading Comprehension Systems.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation Adversarial Examples for Evaluating Reading Comprehension Systems

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-14T12:55:25.628946Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 265b0622-1f78-479f-88a5-8d39b353d24f · outbound

This paper cites Houdini: Fooling Deep Structured Prediction Models.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation Houdini: Fooling Deep Structured Prediction Models

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-14T12:55:25.634718Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 404dd8c7-dbba-4b17-b6d3-93a911f3f6ba · outbound

This paper cites Reluplex: An efﬁcient smt solver for verifying deep neural networks,.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation Reluplex: An efﬁcient smt solver for verifying deep neural networks,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:26.482074Z

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 bdc99b7b-913f-4bd3-9099-5faf5ccfa990 · outbound

This paper cites Provable defenses against adversarial examples via the convex outer adversarial polytope,.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation Provable defenses against adversarial examples via the convex outer adversarial polytope,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:26.464245Z

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 0af63482-cda3-4c87-b98e-383532c4b288 · outbound

This paper cites Towards fast computation of certiﬁed robustness for relu networks,.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation Towards fast computation of certiﬁed robustness for relu networks,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:26.443436Z

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 d6ce9a47-42e9-4bc0-ae91-ae17182ab14e · outbound

This paper cites Ai2: Safety and robustness certiﬁcation of neural networks with abstract interpretation,.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation Ai2: Safety and robustness certiﬁcation of neural networks with abstract interpretation,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:26.424968Z

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 205b24d8-81f8-49db-8bf1-08be2d3bcb9e · outbound

This paper cites A dual approach to scalable veriﬁcation of deep networks,.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation A dual approach to scalable veriﬁcation of deep networks,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:26.406195Z

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 224d746b-afbd-495a-8542-241c0090dc11 · outbound

This paper cites Cnn-cert: An efﬁcient framework for certifying robustness of convolutional neural networks,.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation Cnn-cert: An efﬁcient framework for certifying robustness of convolutional neural networks,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:26.389043Z

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 6cfb9300-4370-49af-9de0-70b14de15d60 · outbound

This paper cites Fast Neural Network Verification via Shadow Prices.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation Fast Neural Network Verification via Shadow Prices

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-14T12:55:25.673952Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7acbd8e9-c45f-4bae-8782-5958e9cdc487 · outbound

This paper cites Optimal and autonomous control using reinforcement learning: A survey,.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation Optimal and autonomous control using reinforcement learning: A survey,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:26.373478Z

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 ff3a29c3-62a1-4f44-ae0d-dfbe8187b6cb · outbound

This paper cites A comprehensive survey on safe reinforcement learning,.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation A comprehensive survey on safe reinforcement learning,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-14T12:55:25.683947Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1308b1df-2402-4140-9109-f2ed28e3fede · outbound

This paper cites A lyapunov-based ap- proach to safe reinforcement learning,.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation A lyapunov-based ap- proach to safe reinforcement learning,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:26.347350Z

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 509555dd-5a16-422d-aa21-70aac59472e7 · outbound

This paper cites Safe model-based reinforcement learning with stability guarantees,.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation Safe model-based reinforcement learning with stability guarantees,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:26.328306Z

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 7c04d962-96c5-4b5a-a9fe-2502c97a9adf · outbound

This paper cites The Lyapunov Neural Network: Adaptive Stability Certification for Safe Learning of Dynamical Systems.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation The Lyapunov Neural Network: Adaptive Stability Certification for Safe Learning of Dynamical Systems

Reference 18

Resolution: verified exact; local_arxiv, observed 2026-08-14T12:55:25.946346Z

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 3772c45c-6cda-4edb-ba06-8fd6095a1bb8 · outbound

This paper cites Stability-certified reinforcement learning: A control-theoretic perspective.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation Stability-certified reinforcement learning: A control-theoretic perspective

Reference 19

Resolution: verified exact; local_arxiv, observed 2026-08-14T12:55:25.921185Z

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 ebe52613-4b8f-4d69-8147-24078841046c · outbound

This paper cites Control-theoretic analysis of smoothness for stability-certiﬁed reinforce- ment learning,.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation Control-theoretic analysis of smoothness for stability-certiﬁed reinforce- ment learning,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:26.307737Z

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 6aa9ae0a-6573-471f-a822-9e7b23a75aba · outbound

This paper cites Verisig: verifying safety properties of hybrid systems with neural network controllers,.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation Verisig: verifying safety properties of hybrid systems with neural network controllers,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:26.285026Z

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 5e84cab6-75f2-44af-a40e-b59e80374d9e · outbound

This paper cites Obfuscated gradients give a false sense of security: Circumventing defenses to adversarial examples,.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation Obfuscated gradients give a false sense of security: Circumventing defenses to adversarial examples,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:26.267817Z

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 c633bfea-d01e-48ec-ab37-cd62ff6a731c · outbound

This paper cites Reachability Analysis and Safety Verification for Neural Network Control Systems.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation Reachability Analysis and Safety Verification for Neural Network Control Systems

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-14T12:55:25.725303Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0123b30e-a80a-46a4-a0bc-84a2745faaa4 · outbound

This paper cites l1-optimal feedback controllers for mimo discrete-time systems,.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation l1-optimal feedback controllers for mimo discrete-time systems,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:26.248696Z

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 f613c87f-8307-49a9-824b-071bec571719 · outbound

This paper cites an unresolved cited work.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-14T12:55:26.227726Z

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 77c3864a-c5ec-4ba6-b269-f98c3b867c2f · outbound

This paper cites an unresolved cited work.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-14T12:55:26.207255Z

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 b1e96dee-8f45-4e6a-a5ef-7209960022ac · outbound

This paper cites On the Sample Complexity of the Linear Quadratic Regulator.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation On the Sample Complexity of the Linear Quadratic Regulator

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-14T12:55:25.745469Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d45d4c69-c2e2-4287-a2e5-1b4765633e69 · outbound

This paper cites A tour of reinforcement learning: The view from continuous control,.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation A tour of reinforcement learning: The view from continuous control,

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-14T12:55:25.750727Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b815089e-06a4-4567-888a-8d2d5c0b1a5a · outbound

This paper cites Performance robustness of discrete-time systems with structured uncertainty,.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation Performance robustness of discrete-time systems with structured uncertainty,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:26.177714Z

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 c461e59d-c605-486a-b16c-3327329f88e9 · outbound

This paper cites The complex structured singular value,.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation The complex structured singular value,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:26.162641Z

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 b83ceaaf-3568-4abd-ad8f-d4d8e48d95c6 · outbound

This paper cites an unresolved cited work.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-14T12:55:26.147315Z

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 324dca60-679a-43d3-8740-1a57c47c3254 · outbound

This paper cites Np-hardness of some linear control design problems,.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation Np-hardness of some linear control design problems,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:26.128524Z

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 7e4292c8-346f-4e6f-8787-56e0015851cb · outbound

This paper cites Proximal Policy Optimization Algorithms.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation Proximal Policy Optimization Algorithms

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-14T12:55:25.774239Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a820b87c-e29e-4d4b-b9f8-976df715728a · outbound

This paper cites Stable baselines.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation Stable baselines

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:26.110422Z

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 bd899c3b-fbc8-4462-828f-f073b445462c · outbound

This paper cites Openai gym,.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation Openai gym,

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-14T12:55:25.783097Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 997ef204-4713-431d-ac51-5a83d6be0069 · outbound

This paper cites Efﬁcient neural network robustness certiﬁcation with general activation functions,.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation Efﬁcient neural network robustness certiﬁcation with general activation functions,

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:55:26.082326Z

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 bf1da67e-3a81-4e78-9a9a-131b4f952326 · outbound

This paper cites Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-14T12:55:25.792209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47a23273-f052-4b89-aff0-6a9056282538 · outbound

This paper cites an unresolved cited work.

Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-08-14T12:55:26.066446Z

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.

Pith citing papers

No inbound Pith citation observations are available.