Paper Citation Record · LEDGER

Neural Control and Certificate Repair via Runtime Monitoring

As of 22 August 2026, this Paper Citation Record lists 49 of 49 outbound references and 0 inbound Pith citation observations for arXiv:2412.12996.

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

pith.paper-citation-record.v1
2412.12996 v1

Coverage vector

measured 49 of 49 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-11T13:34:46.972543Z

measured 49 of 49 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-22T06:32:14.747728+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

49 of 49 outbound references displayed

verified exact2
verified fuzzy9
unresolved38
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation e288aaf9-ca6d-4428-9a28-874fcfff57af · outbound

This paper cites , " * write output.state after.block = add.period write newline.

Neural Control and Certificate Repair via Runtime Monitoring , " * write output.state after.block = add.period write newline

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-11T13:34:46.807999Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db1b9d51-bd67-4adf-8efa-efaa5509f73d · outbound

This paper cites write newline.

Neural Control and Certificate Repair via Runtime Monitoring write newline

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-11T13:34:46.812010Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0027b951-2411-4d7c-8d0b-ddb9f47fd556 · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:34:47.480178Z

Source-reported events for the cited work

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

Observation c674adad-034b-47f1-90a3-a4f152d721c1 · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:34:47.470015Z

Source-reported events for the cited work

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

Observation 984ac1c2-f343-46fe-8e71-d4c059c7c381 · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:34:47.459910Z

Source-reported events for the cited work

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

Observation c2547432-35e7-461b-81df-50e72db2d3aa · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:34:47.451169Z

Source-reported events for the cited work

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

Observation 3608065a-8b91-4cc0-83f0-3b8a7b841e35 · outbound

This paper cites A.; and Majumdar, A.

Neural Control and Certificate Repair via Runtime Monitoring A.; and Majumdar, A

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:34:47.442035Z

Source-reported events for the cited work

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

Observation cc6c4134-5450-4184-b76e-c39a88b6f351 · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:34:47.432540Z

Source-reported events for the cited work

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

Observation fe120f50-677a-4b23-83f0-a96f267eb3e4 · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:34:47.423300Z

Source-reported events for the cited work

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

Observation 56acb129-84b2-4a49-95ae-bbe830e33114 · outbound

This paper cites D.; Grizzle, J.

Neural Control and Certificate Repair via Runtime Monitoring D.; Grizzle, J

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:34:47.413715Z

Source-reported events for the cited work

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

Observation 27d53e6a-d145-41e1-b24d-ed78c16cfadd · outbound

This paper cites Concrete Problems in AI Safety.

Neural Control and Certificate Repair via Runtime Monitoring Concrete Problems in AI Safety

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-11T13:34:46.843245Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 15d5f72f-909a-4d5f-9d28-366ee67d5c9b · outbound

This paper cites A.; Lechner, M.; and Zikelic, D.

Neural Control and Certificate Repair via Runtime Monitoring A.; Lechner, M.; and Zikelic, D

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:34:47.403993Z

Source-reported events for the cited work

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

Observation c2dfedbe-a246-4947-b049-c1958607caed · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:34:47.394608Z

Source-reported events for the cited work

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

Observation 009143fb-ea01-4a90-b58d-6a097aece90a · outbound

This paper cites o nighofer, B.; K \.

Neural Control and Certificate Repair via Runtime Monitoring o nighofer, B.; K \

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:34:47.384843Z

Source-reported events for the cited work

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

Observation 721d2e8f-1912-4b42-95d9-c888afa62372 · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:34:47.375485Z

Source-reported events for the cited work

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

Observation 47b56233-7d65-47cc-b7a2-f569b62cf026 · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:34:47.365319Z

Source-reported events for the cited work

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

Observation 69949f4d-20ef-4dbb-9769-945aa5a8daea · outbound

This paper cites A.; Lechner, M.; and Zikelic, D.

Neural Control and Certificate Repair via Runtime Monitoring A.; Lechner, M.; and Zikelic, D

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:34:47.354132Z

Source-reported events for the cited work

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

Observation 2c17e5a0-0b71-4fd9-9d69-c2be2016b630 · outbound

This paper cites A.; and Ghavamzadeh, M.

Neural Control and Certificate Repair via Runtime Monitoring A.; and Ghavamzadeh, M

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:34:47.343687Z

Source-reported events for the cited work

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

Observation 9c567837-f084-4921-a117-5f8fc8a3eee6 · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:34:47.332367Z

Source-reported events for the cited work

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

Observation deb89739-be70-4cb0-9aa1-49a5d5337b30 · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:34:47.322279Z

Source-reported events for the cited work

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

Observation 4760853b-0c6f-46b3-ba22-1564811c4367 · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:34:47.312894Z

Source-reported events for the cited work

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

Observation 29fc12b4-9098-406e-b4c9-af7ac2a872ad · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:34:47.302772Z

Source-reported events for the cited work

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

Observation e380f9dd-f56a-420d-b888-ea93b0c4fac2 · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:34:47.291688Z

Source-reported events for the cited work

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

Observation b7e1a15a-a5a6-4ac7-8d8b-2850c75adec7 · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:34:47.280978Z

Source-reported events for the cited work

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

Observation 0cb2b2ce-395d-402f-9a6c-bc06d3a44d9d · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:34:47.269286Z

Source-reported events for the cited work

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

Observation 8ee697e3-2127-4ee2-a2dc-046ab6d116a3 · outbound

This paper cites Adam: A Method for Stochastic Optimization.

Neural Control and Certificate Repair via Runtime Monitoring Adam: A Method for Stochastic Optimization

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-11T13:34:46.894362Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f37be290-8ca4-4a79-bdcb-bdc7843cab01 · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:34:47.257469Z

Source-reported events for the cited work

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

Observation dbc13a9b-5003-4afd-99a1-d6d46194e6dc · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:34:47.246264Z

Source-reported events for the cited work

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

Observation 9a9657fb-3266-4f2e-a0ee-432dcf8e6b5f · outbound

This paper cites AutoRepair: Automated Repair for AI-Enabled Cyber-Physical Systems under Safety-Critical Conditions.

Neural Control and Certificate Repair via Runtime Monitoring AutoRepair: Automated Repair for AI-Enabled Cyber-Physical Systems under Safety-Critical Conditions

Reference 29

Resolution: verified exact; local_arxiv, observed 2026-08-11T13:34:47.024381Z

Source-reported events for the cited work

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

Observation 33fa2333-8db4-487b-bc79-e9228cffbb4f · outbound

This paper cites B.; Calvert, S.

Neural Control and Certificate Repair via Runtime Monitoring B.; Calvert, S

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-11T13:34:46.909979Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d8db789-7f85-49cc-888b-590336cbc3c9 · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:34:47.224254Z

Source-reported events for the cited work

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

Observation 7a0dfa9a-b991-462a-b190-bbcd32feca4d · outbound

This paper cites A.; Veness, J.; Bellemare, M.

Neural Control and Certificate Repair via Runtime Monitoring A.; Veness, J.; Bellemare, M

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-11T13:34:46.917338Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 254bbacb-e68e-4154-a7c4-cd0c6a55bb15 · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:34:47.203984Z

Source-reported events for the cited work

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

Observation b155a7c3-5d69-41f5-b442-241ff7092657 · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:34:47.193594Z

Source-reported events for the cited work

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

Observation 1e874fdb-dfa2-4d4f-902f-8dd98b8df063 · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 35

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:34:47.183295Z

Source-reported events for the cited work

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

Observation 683091b0-88c7-4db7-9b65-9bb67543e01d · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:34:47.172962Z

Source-reported events for the cited work

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

Observation 8545599f-585b-409c-b3ea-bb6e501f66cb · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-11T13:34:46.933525Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa710c07-1ef4-487f-b663-0964f351459a · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:34:47.154627Z

Source-reported events for the cited work

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

Observation cf75cc9a-08ed-43a8-947e-77a066831c69 · outbound

This paper cites M.; Berkenkamp, F.; and Krause, A.

Neural Control and Certificate Repair via Runtime Monitoring M.; Berkenkamp, F.; and Krause, A

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:34:47.144944Z

Source-reported events for the cited work

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

Observation f02a065f-33cc-4fcc-b776-5ed50a34cbed · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 40

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:34:47.134622Z

Source-reported events for the cited work

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

Observation 712b1c80-b944-4736-8171-577604d3c84e · outbound

This paper cites S.; and Barto, A.

Neural Control and Certificate Repair via Runtime Monitoring S.; and Barto, A

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-11T13:34:46.945577Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8c21816-8310-4701-9614-54878fb57ca6 · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 42

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:34:47.116637Z

Source-reported events for the cited work

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

Observation e0577882-7d7b-427f-8f80-adc2f1bb07ea · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-11T13:34:46.951326Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02d1e106-991f-467a-95c2-844d0977fd27 · outbound

This paper cites L.; and Zhang, M.

Neural Control and Certificate Repair via Runtime Monitoring L.; and Zhang, M

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:34:47.099626Z

Source-reported events for the cited work

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

Observation e61e76e9-f637-48c2-b261-3135075bcbbc · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 45

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:34:47.087638Z

Source-reported events for the cited work

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

Observation 15a2fc55-4d25-4b6d-912b-fb84a3ff1285 · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 46

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:34:47.076918Z

Source-reported events for the cited work

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

Observation d42af0d1-3a79-4344-b8d3-83a7dda7965c · outbound

This paper cites Learning Stabilizing Policies in Stochastic Control Systems.

Neural Control and Certificate Repair via Runtime Monitoring Learning Stabilizing Policies in Stochastic Control Systems

Reference 47

Resolution: verified exact; local_arxiv, observed 2026-08-11T13:34:47.010103Z

Source-reported events for the cited work

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

Observation d6c51c6a-6199-4e95-8b88-b09e06b8c980 · outbound

This paper cites A.; and Chatterjee, K.

Neural Control and Certificate Repair via Runtime Monitoring A.; and Chatterjee, K

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:34:47.066500Z

Source-reported events for the cited work

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

Observation 55353012-e577-4479-8dd9-5a9852e8f186 · outbound

This paper cites an unresolved cited work.

Neural Control and Certificate Repair via Runtime Monitoring Unresolved cited work

Reference 49

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:34:47.056174Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.