Paper Citation Record · LEDGER

NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations

As of 8 August 2026, this Paper Citation Record lists 27 of 27 outbound references and 0 inbound Pith citation observations for arXiv:2606.03872.

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

pith.paper-citation-record.v1
2606.03872 v1

Coverage vector

measured 27 of 27 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-28T08:59:00.188684Z

measured 27 of 27 standing notices

One-hop event checks from named stored sources.

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

27 of 27 outbound references displayed

verified exact2
verified fuzzy0
unresolved24
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 432b4adc-6d2c-41da-934f-21625268e165 · outbound

This paper cites an unresolved cited work.

NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-06-28T08:59:00.188684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ee242bb6-176e-413b-8ead-cacfc032218c · outbound

This paper cites an unresolved cited work.

NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-28T08:59:00.188684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 773fc731-9ffb-4170-977e-8b0bb32b2cdd · outbound

This paper cites Supervisory control of a class of discrete event processes,.

NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations Supervisory control of a class of discrete event processes,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-06-28T08:59:00.188684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b02cf7c4-c445-44d7-add5-9d3dd58b1845 · outbound

This paper cites On the synthesis of a reactive module,.

NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations On the synthesis of a reactive module,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-06-28T08:59:00.188684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9cf5cc82-103f-402c-88f8-54ee18c18b1e · outbound

This paper cites Supervi- sory control and reactive synthesis: a comparative introduction,.

NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations Supervi- sory control and reactive synthesis: a comparative introduction,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-28T08:59:00.188684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f7463593-fdbc-4731-a609-dd4e9b2e7d0d · outbound

This paper cites On tolerance of discrete systems with respect to transition perturbations,.

NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations On tolerance of discrete systems with respect to transition perturbations,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-28T08:59:00.188684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation abd6e450-025c-40f4-858b-e6fd2f8c4bb3 · outbound

This paper cites Active fault tolerant control of discrete event systems using online diagnostics,.

NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations Active fault tolerant control of discrete event systems using online diagnostics,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-06-28T08:59:00.188684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 849ad070-a354-4b5d-a037-ba1e93821e29 · outbound

This paper cites Bounded sensor failure tolerant supervisory control,.

NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations Bounded sensor failure tolerant supervisory control,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-06-28T08:59:00.188684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a0d92f3-280f-4e1f-be85-6d7ad1340a18 · outbound

This paper cites Robust and adaptive supervisory control of discrete event systems,.

NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations Robust and adaptive supervisory control of discrete event systems,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-06-28T08:59:00.188684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 93232155-0c46-4b1c-8db8-6b42f4fabb03 · outbound

This paper cites Model uncertainty in discrete event systems,.

NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations Model uncertainty in discrete event systems,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-06-28T08:59:00.188684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4414f17f-3af5-4736-b0fc-61855e8200ff · outbound

This paper cites Robustness of supervisors for discrete- event systems,.

NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations Robustness of supervisors for discrete- event systems,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-06-28T08:59:00.188684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a9a92bd-df75-4a7a-97d9-b60cb7e025a5 · outbound

This paper cites Maximizing robustness of supervisors for partially observed discrete event systems,.

NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations Maximizing robustness of supervisors for partially observed discrete event systems,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-06-28T08:59:00.188684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd37c26c-5bea-43ef-8ad8-d380ec3f89f9 · outbound

This paper cites Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations,.

NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-06-28T08:59:00.188684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e1bcafb-b7d9-4e56-8856-92c4bc04ed53 · outbound

This paper cites Dealing with sensor and actuator deception attacks in supervisory control,.

NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations Dealing with sensor and actuator deception attacks in supervisory control,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-06-28T08:59:00.188684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4235a291-7def-4a2f-9e37-c58eba239a7a · outbound

This paper cites Robust supervisory control against intermittent loss of observations,.

NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations Robust supervisory control against intermittent loss of observations,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-06-28T08:59:00.188684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62dcc2f4-3cb5-43c7-8f0c-06a8acb41a66 · outbound

This paper cites Control of networked discrete event systems: Dealing with communication delays and losses,.

NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations Control of networked discrete event systems: Dealing with communication delays and losses,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-06-28T08:59:00.188684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 264ff618-abfa-4232-8aeb-be198bae7366 · outbound

This paper cites Safe environmental envelopes of discrete systems,.

NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations Safe environmental envelopes of discrete systems,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-06-28T08:59:00.188684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ece5237-5c67-4600-abb0-17cbc65aabf0 · outbound

This paper cites Neural-symbolic computing: An effective methodology for principled integration of machine learning and reasoning,.

NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations Neural-symbolic computing: An effective methodology for principled integration of machine learning and reasoning,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-06-28T08:59:00.188684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69c63d2f-2d73-44f3-bd66-f71c736c7e65 · outbound

This paper cites Baier and J.-P.

NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations Baier and J.-P

Reference 19

Resolution: unresolved; no resolver link, observed 2026-06-28T08:59:00.188684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36a67568-e381-4978-a9a4-c7672ccef0d9 · outbound

This paper cites Sparks of Artificial General Intelligence: Early experiments with GPT-4.

NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations Sparks of Artificial General Intelligence: Early experiments with GPT-4

Reference 20

Resolution: verified exact; local_arxiv, observed 2026-07-02T04:36:36.308176Z

Source-reported events for the cited work

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

Observation 0c7581cd-aff3-4066-9adf-975f01904e28 · outbound

This paper cites GPT-4 Technical Report.

NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations GPT-4 Technical Report

Reference 21

Resolution: verified exact; local_arxiv, observed 2026-07-02T04:36:36.313951Z

Source-reported events for the cited work

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

Observation 61d94307-9f8e-4ac6-a405-ebdc04b402d3 · outbound

This paper cites Bert: Pre-training of deep bidirectional transformers for language understanding,.

NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations Bert: Pre-training of deep bidirectional transformers for language understanding,

Reference 22

Resolution: unresolved; no resolver link, observed 2026-06-28T08:59:00.188684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 60c61fb4-a2a4-497c-b08c-6c3eddfc5b27 · outbound

This paper cites Mdesops: An open-source software tool for discrete event systems modeled by automata,.

NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations Mdesops: An open-source software tool for discrete event systems modeled by automata,

Reference 23

Resolution: unresolved; no resolver link, observed 2026-06-28T08:59:00.188684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 903b85b4-3aed-4648-8322-dc79f47bf6ab · outbound

This paper cites An investigation of the Therac-25 accidents,.

NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations An investigation of the Therac-25 accidents,

Reference 24

Resolution: unresolved; no resolver link, observed 2026-06-28T08:59:00.188684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3de53e0b-ed9c-4939-bdcb-4c2728311b32 · outbound

This paper cites Tel, Introduction to distributed algorithms.

NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations Tel, Introduction to distributed algorithms

Reference 25

Resolution: unresolved; no resolver link, observed 2026-06-28T08:59:00.188684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4fc5bab1-37b5-4ff2-bbfb-7187048db0b2 · outbound

This paper cites A behavioral notion of robustness for software systems,.

NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations A behavioral notion of robustness for software systems,

Reference 26

Resolution: unresolved; no resolver link, observed 2026-06-28T08:59:00.188684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b994bf5-42dd-491d-9d1c-09a22352693c · outbound

This paper cites Increasing the LLM Accuracy for Question Answering: Ontologies to the Rescue!.

NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations Increasing the LLM Accuracy for Question Answering: Ontologies to the Rescue!

Reference 27

Resolution: metadata mismatch; arxiv_id, observed 2026-07-02T04:36:36.311192Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.