{"as_of":"2026-08-08T11:42:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:42138756a3ef3802b70ea9ecbcf52f2bfc37007d96850d86f5a7df9cf3567ef7","coverage":[{"denominator":27,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":27,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-28T08:59:00.188684Z","state":"measured"},{"denominator":27,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":27,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2606.03872/citation-record","integrity":"/paper/2606.03872/integrity","json":"/paper/2606.03872/citation-record.json","paper":"/paper/2606.03872"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T08:59:00.188684Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.03872","last_updated":"2026-06-02T16:42:29Z","snapshot_observed_at":"2026-08-07T22:15:23.544455Z","submitted_at":"2026-06-02T16:42:29Z","title":"NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-28T08:59:00.188684Z"},"links":{"citing_paper":"/paper/2606.03872"},"observation_digest":"sha256:d2baa57c37e2acb4748cd4064e11f12f6b24952f3bda160d74f4e54f17ef2ae4","observation_id":"432b4adc-6d2c-41da-934f-21625268e165","resolution":{"observed_at":"2026-06-28T08:59:00.188684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T08:59:00.188684Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.03872","last_updated":"2026-06-02T16:42:29Z","snapshot_observed_at":"2026-08-07T22:15:23.544455Z","submitted_at":"2026-06-02T16:42:29Z","title":"NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-28T08:59:00.188684Z"},"links":{"citing_paper":"/paper/2606.03872"},"observation_digest":"sha256:07e745d9b7f560fde76cbee23628250b15360ec7994bbd0827ad4736e526594b","observation_id":"ee242bb6-176e-413b-8ead-cacfc032218c","resolution":{"observed_at":"2026-06-28T08:59:00.188684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T08:59:00.188684Z","title":"Supervisory control of a class of discrete event processes,","venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2606.03872","last_updated":"2026-06-02T16:42:29Z","snapshot_observed_at":"2026-08-07T22:15:23.544455Z","submitted_at":"2026-06-02T16:42:29Z","title":"NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-28T08:59:00.188684Z"},"links":{"citing_paper":"/paper/2606.03872"},"observation_digest":"sha256:dd2ef0064da33444f305711eb47a51ce1d4bbd15992d51c73701815274e8ca1e","observation_id":"773fc731-9ffb-4170-977e-8b0bb32b2cdd","resolution":{"observed_at":"2026-06-28T08:59:00.188684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T08:59:00.188684Z","title":"On the synthesis of a reactive module,","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"2606.03872","last_updated":"2026-06-02T16:42:29Z","snapshot_observed_at":"2026-08-07T22:15:23.544455Z","submitted_at":"2026-06-02T16:42:29Z","title":"NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-28T08:59:00.188684Z"},"links":{"citing_paper":"/paper/2606.03872"},"observation_digest":"sha256:e623f661c9493a76cd04bb025b4c42625b85734fab77fed7163a55db9e39a2b8","observation_id":"b02cf7c4-c445-44d7-add5-9d3dd58b1845","resolution":{"observed_at":"2026-06-28T08:59:00.188684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T08:59:00.188684Z","title":"Supervi- sory control and reactive synthesis: a comparative introduction,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2606.03872","last_updated":"2026-06-02T16:42:29Z","snapshot_observed_at":"2026-08-07T22:15:23.544455Z","submitted_at":"2026-06-02T16:42:29Z","title":"NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-28T08:59:00.188684Z"},"links":{"citing_paper":"/paper/2606.03872"},"observation_digest":"sha256:16b319cfcf787a9889d52b546c9eaff84663eb722005bf2fee565771e37149da","observation_id":"9cf5cc82-103f-402c-88f8-54ee18c18b1e","resolution":{"observed_at":"2026-06-28T08:59:00.188684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T08:59:00.188684Z","title":"On tolerance of discrete systems with respect to transition perturbations,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.03872","last_updated":"2026-06-02T16:42:29Z","snapshot_observed_at":"2026-08-07T22:15:23.544455Z","submitted_at":"2026-06-02T16:42:29Z","title":"NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-28T08:59:00.188684Z"},"links":{"citing_paper":"/paper/2606.03872"},"observation_digest":"sha256:0e229eab6350c7913c0bbd2e5e74fa13f17e422bdbeff2ec593d34365efcc964","observation_id":"f7463593-fdbc-4731-a609-dd4e9b2e7d0d","resolution":{"observed_at":"2026-06-28T08:59:00.188684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T08:59:00.188684Z","title":"Active fault tolerant control of discrete event systems using online diagnostics,","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2606.03872","last_updated":"2026-06-02T16:42:29Z","snapshot_observed_at":"2026-08-07T22:15:23.544455Z","submitted_at":"2026-06-02T16:42:29Z","title":"NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-28T08:59:00.188684Z"},"links":{"citing_paper":"/paper/2606.03872"},"observation_digest":"sha256:d344cc43efe67c070152024931ac7de5019ba8b0547d6739a62d121efe9b484d","observation_id":"abd6e450-025c-40f4-858b-e6fd2f8c4bb3","resolution":{"observed_at":"2026-06-28T08:59:00.188684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T08:59:00.188684Z","title":"Bounded sensor failure tolerant supervisory control,","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2606.03872","last_updated":"2026-06-02T16:42:29Z","snapshot_observed_at":"2026-08-07T22:15:23.544455Z","submitted_at":"2026-06-02T16:42:29Z","title":"NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-28T08:59:00.188684Z"},"links":{"citing_paper":"/paper/2606.03872"},"observation_digest":"sha256:69afb45d343cc5d2a06fbeb61bbeebeb5e397d789c0537430cd9422e4ede1b9d","observation_id":"849ad070-a354-4b5d-a037-ba1e93821e29","resolution":{"observed_at":"2026-06-28T08:59:00.188684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T08:59:00.188684Z","title":"Robust and adaptive supervisory control of discrete event systems,","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2606.03872","last_updated":"2026-06-02T16:42:29Z","snapshot_observed_at":"2026-08-07T22:15:23.544455Z","submitted_at":"2026-06-02T16:42:29Z","title":"NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-28T08:59:00.188684Z"},"links":{"citing_paper":"/paper/2606.03872"},"observation_digest":"sha256:947bbd56cd6e0abeb642b2bb7412a3d8c664dbff70898afe4357c5ecef6a2d8e","observation_id":"2a0d92f3-280f-4e1f-be85-6d7ad1340a18","resolution":{"observed_at":"2026-06-28T08:59:00.188684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T08:59:00.188684Z","title":"Model uncertainty in discrete event systems,","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2606.03872","last_updated":"2026-06-02T16:42:29Z","snapshot_observed_at":"2026-08-07T22:15:23.544455Z","submitted_at":"2026-06-02T16:42:29Z","title":"NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-28T08:59:00.188684Z"},"links":{"citing_paper":"/paper/2606.03872"},"observation_digest":"sha256:d5b1d45f69e147ca9053fa049bc8e9b4e1a94405e6859cca2054504d976d8ecb","observation_id":"93232155-0c46-4b1c-8db8-6b42f4fabb03","resolution":{"observed_at":"2026-06-28T08:59:00.188684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T08:59:00.188684Z","title":"Robustness of supervisors for discrete- event systems,","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2606.03872","last_updated":"2026-06-02T16:42:29Z","snapshot_observed_at":"2026-08-07T22:15:23.544455Z","submitted_at":"2026-06-02T16:42:29Z","title":"NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-28T08:59:00.188684Z"},"links":{"citing_paper":"/paper/2606.03872"},"observation_digest":"sha256:6d60053f8eda0b07cce89d85b34bdd19ce34e042554d65129cf7cc6c6eff7811","observation_id":"4414f17f-3af5-4736-b0fc-61855e8200ff","resolution":{"observed_at":"2026-06-28T08:59:00.188684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T08:59:00.188684Z","title":"Maximizing robustness of supervisors for partially observed discrete event systems,","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2606.03872","last_updated":"2026-06-02T16:42:29Z","snapshot_observed_at":"2026-08-07T22:15:23.544455Z","submitted_at":"2026-06-02T16:42:29Z","title":"NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-28T08:59:00.188684Z"},"links":{"citing_paper":"/paper/2606.03872"},"observation_digest":"sha256:ad5df221dc0c24e05c6614ac036e74c356ebab4c460e7da78e1245f8bfa7e13c","observation_id":"1a9a92bd-df75-4a7a-97d9-b60cb7e025a5","resolution":{"observed_at":"2026-06-28T08:59:00.188684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T08:59:00.188684Z","title":"Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.03872","last_updated":"2026-06-02T16:42:29Z","snapshot_observed_at":"2026-08-07T22:15:23.544455Z","submitted_at":"2026-06-02T16:42:29Z","title":"NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-28T08:59:00.188684Z"},"links":{"citing_paper":"/paper/2606.03872"},"observation_digest":"sha256:d2e83dbfc9316af0f94cad741eac4be410a12c4ded8e1a3d9a67b5bf3063ac1f","observation_id":"cd37c26c-5bea-43ef-8ad8-d380ec3f89f9","resolution":{"observed_at":"2026-06-28T08:59:00.188684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T08:59:00.188684Z","title":"Dealing with sensor and actuator deception attacks in supervisory control,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.03872","last_updated":"2026-06-02T16:42:29Z","snapshot_observed_at":"2026-08-07T22:15:23.544455Z","submitted_at":"2026-06-02T16:42:29Z","title":"NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-28T08:59:00.188684Z"},"links":{"citing_paper":"/paper/2606.03872"},"observation_digest":"sha256:9c95e0f659fcc84bfc4d826a4ddf11b11812058fda750c9006da4a961626a24c","observation_id":"4e1bcafb-b7d9-4e56-8856-92c4bc04ed53","resolution":{"observed_at":"2026-06-28T08:59:00.188684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T08:59:00.188684Z","title":"Robust supervisory control against intermittent loss of observations,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2606.03872","last_updated":"2026-06-02T16:42:29Z","snapshot_observed_at":"2026-08-07T22:15:23.544455Z","submitted_at":"2026-06-02T16:42:29Z","title":"NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-28T08:59:00.188684Z"},"links":{"citing_paper":"/paper/2606.03872"},"observation_digest":"sha256:e197d9e5b1a5298ab22575d3d87b822e60e50c833f9752b16ea0564ed003752b","observation_id":"4235a291-7def-4a2f-9e37-c58eba239a7a","resolution":{"observed_at":"2026-06-28T08:59:00.188684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T08:59:00.188684Z","title":"Control of networked discrete event systems: Dealing with communication delays and losses,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2606.03872","last_updated":"2026-06-02T16:42:29Z","snapshot_observed_at":"2026-08-07T22:15:23.544455Z","submitted_at":"2026-06-02T16:42:29Z","title":"NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-28T08:59:00.188684Z"},"links":{"citing_paper":"/paper/2606.03872"},"observation_digest":"sha256:08a4edf2b2f9fd88274f8398bee56bca8657b467fc50fb43730ea34c3b9925f7","observation_id":"62dcc2f4-3cb5-43c7-8f0c-06a8acb41a66","resolution":{"observed_at":"2026-06-28T08:59:00.188684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T08:59:00.188684Z","title":"Safe environmental envelopes of discrete systems,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.03872","last_updated":"2026-06-02T16:42:29Z","snapshot_observed_at":"2026-08-07T22:15:23.544455Z","submitted_at":"2026-06-02T16:42:29Z","title":"NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-28T08:59:00.188684Z"},"links":{"citing_paper":"/paper/2606.03872"},"observation_digest":"sha256:2639a067d74b2bea29168fff4dc934523972ddff3359b8ff3511c2a442c3368d","observation_id":"264ff618-abfa-4232-8aeb-be198bae7366","resolution":{"observed_at":"2026-06-28T08:59:00.188684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T08:59:00.188684Z","title":"Neural-symbolic computing: An effective methodology for principled integration of machine learning and reasoning,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.03872","last_updated":"2026-06-02T16:42:29Z","snapshot_observed_at":"2026-08-07T22:15:23.544455Z","submitted_at":"2026-06-02T16:42:29Z","title":"NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-06-28T08:59:00.188684Z"},"links":{"citing_paper":"/paper/2606.03872"},"observation_digest":"sha256:ee710b8af9e07abc94bbc1f1c389876cf711d26827814bb6a9f9ffc6d316e3e6","observation_id":"9ece5237-5c67-4600-abb0-17cbc65aabf0","resolution":{"observed_at":"2026-06-28T08:59:00.188684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T08:59:00.188684Z","title":"Baier and J.-P","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2606.03872","last_updated":"2026-06-02T16:42:29Z","snapshot_observed_at":"2026-08-07T22:15:23.544455Z","submitted_at":"2026-06-02T16:42:29Z","title":"NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-06-28T08:59:00.188684Z"},"links":{"citing_paper":"/paper/2606.03872"},"observation_digest":"sha256:23dd8e45f9ad418d733562729411f7a22a08190c14b9347f16c8f4ae6d50f9c6","observation_id":"69c63d2f-2d73-44f3-bd66-f71c736c7e65","resolution":{"observed_at":"2026-06-28T08:59:00.188684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.12712","last_updated":"2023-04-13T20:41:31Z","snapshot_observed_at":"2026-08-03T04:49:15.195814Z","submitted_at":"2023-03-22T16:51:28Z","title":"Sparks of Artificial General Intelligence: Early experiments with GPT-4","version":5},"cited_work":{"arxiv_id":"2303.12712","doi":"10.48550/arxiv.2303.12712","metadata_source":"pith","pith_arxiv_id":"2303.12712","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Sparks of Artificial General Intelligence: Early experiments with GPT-4","venue":"cs.CL","work_id":"a23cfe92-7f7c-424b-98d4-b386a83002fb","year":2023},"citing_paper":{"arxiv_id":"2606.03872","last_updated":"2026-06-02T16:42:29Z","snapshot_observed_at":"2026-08-07T22:15:23.544455Z","submitted_at":"2026-06-02T16:42:29Z","title":"NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-28T08:59:00.188684Z"},"links":{"cited_paper":"/paper/2303.12712","citing_paper":"/paper/2606.03872"},"observation_digest":"sha256:50daa9b9db6c8b355e79041a1b591c032e85baf83585396ee441e179ca5b17a7","observation_id":"36a67568-e381-4978-a9a4-c7672ccef0d9","resolution":{"observed_at":"2026-07-02T04:36:36.308176Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-07T07:30:12.213965Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":"2303.08774","doi":"10.1002/tea.20265","metadata_source":"pith","pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"GPT-4 Technical Report","venue":"cs.CL","work_id":"b928e041-6991-4c08-8c81-0359e4097c7b","year":2023},"citing_paper":{"arxiv_id":"2606.03872","last_updated":"2026-06-02T16:42:29Z","snapshot_observed_at":"2026-08-07T22:15:23.544455Z","submitted_at":"2026-06-02T16:42:29Z","title":"NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-06-28T08:59:00.188684Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2606.03872"},"observation_digest":"sha256:5cdee43eb4d56fc92ffa7d177a9adfc670b97ee3e51df032421aaa8235dc2744","observation_id":"0c7581cd-aff3-4066-9adf-975f01904e28","resolution":{"observed_at":"2026-07-02T04:36:36.313951Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T08:59:00.188684Z","title":"Bert: Pre-training of deep bidirectional transformers for language understanding,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.03872","last_updated":"2026-06-02T16:42:29Z","snapshot_observed_at":"2026-08-07T22:15:23.544455Z","submitted_at":"2026-06-02T16:42:29Z","title":"NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-06-28T08:59:00.188684Z"},"links":{"citing_paper":"/paper/2606.03872"},"observation_digest":"sha256:c8c19bccfc081fba46dd6f8ca6b626ad6d2f029764d1cd7022f734a4c804ed61","observation_id":"61d94307-9f8e-4ac6-a405-ebdc04b402d3","resolution":{"observed_at":"2026-06-28T08:59:00.188684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T08:59:00.188684Z","title":"Mdesops: An open-source software tool for discrete event systems modeled by automata,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.03872","last_updated":"2026-06-02T16:42:29Z","snapshot_observed_at":"2026-08-07T22:15:23.544455Z","submitted_at":"2026-06-02T16:42:29Z","title":"NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-06-28T08:59:00.188684Z"},"links":{"citing_paper":"/paper/2606.03872"},"observation_digest":"sha256:32d269f474ebac315b43d09e41a257bedb61846c142aa9a442f1b313320b56fb","observation_id":"60c61fb4-a2a4-497c-b08c-6c3eddfc5b27","resolution":{"observed_at":"2026-06-28T08:59:00.188684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T08:59:00.188684Z","title":"An investigation of the Therac-25 accidents,","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2606.03872","last_updated":"2026-06-02T16:42:29Z","snapshot_observed_at":"2026-08-07T22:15:23.544455Z","submitted_at":"2026-06-02T16:42:29Z","title":"NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-06-28T08:59:00.188684Z"},"links":{"citing_paper":"/paper/2606.03872"},"observation_digest":"sha256:7b101c58d33ae02ccbfd6f2f0c1266299f715808f68d289e042fb3a3739a87cd","observation_id":"903b85b4-3aed-4648-8322-dc79f47bf6ab","resolution":{"observed_at":"2026-06-28T08:59:00.188684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T08:59:00.188684Z","title":"Tel, Introduction to distributed algorithms","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2606.03872","last_updated":"2026-06-02T16:42:29Z","snapshot_observed_at":"2026-08-07T22:15:23.544455Z","submitted_at":"2026-06-02T16:42:29Z","title":"NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-06-28T08:59:00.188684Z"},"links":{"citing_paper":"/paper/2606.03872"},"observation_digest":"sha256:74cefb29379951077e028a11b94c67266abfcd6c33ad2c07f94942a8a0637c54","observation_id":"3de53e0b-ed9c-4939-bdcb-4c2728311b32","resolution":{"observed_at":"2026-06-28T08:59:00.188684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T08:59:00.188684Z","title":"A behavioral notion of robustness for software systems,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.03872","last_updated":"2026-06-02T16:42:29Z","snapshot_observed_at":"2026-08-07T22:15:23.544455Z","submitted_at":"2026-06-02T16:42:29Z","title":"NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-06-28T08:59:00.188684Z"},"links":{"citing_paper":"/paper/2606.03872"},"observation_digest":"sha256:58c7b45e3bb908300f2d48243e665bc105b1eb91cf6c32ddf2ab05470de8c562","observation_id":"4fc5bab1-37b5-4ff2-bbfb-7187048db0b2","resolution":{"observed_at":"2026-06-28T08:59:00.188684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.11706","last_updated":"2024-05-20T00:28:00Z","snapshot_observed_at":"2026-07-06T18:16:29.163229Z","submitted_at":"2024-05-20T00:28:00Z","title":"Increasing the LLM Accuracy for Question Answering: Ontologies to the Rescue!","version":1},"cited_work":{"arxiv_id":"2405.11706","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2405.11706","snapshot_observed_at":"2026-07-02T04:36:36.309492Z","title":"and Sequeda, J","venue":null,"work_id":"f14d4807-6f6f-4ab3-8831-a7438e5b7ee1","year":2024},"citing_paper":{"arxiv_id":"2606.03872","last_updated":"2026-06-02T16:42:29Z","snapshot_observed_at":"2026-08-07T22:15:23.544455Z","submitted_at":"2026-06-02T16:42:29Z","title":"NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-06-28T08:59:00.188684Z"},"links":{"cited_paper":"/paper/2405.11706","citing_paper":"/paper/2606.03872"},"observation_digest":"sha256:97930e72d03377d3cc905cd99c9477aef3f1a729f0056aa4d77f73d8365a585f","observation_id":"5b994bf5-42dd-491d-9d1c-09a22352693c","resolution":{"observed_at":"2026-07-02T04:36:36.311192Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2606.03872","last_updated":"2026-06-02T16:42:29Z","latest_version":1,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-07T22:15:23.544455Z","submitted_at":"2026-06-02T16:42:29Z","title":"NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations"},"reference_resolution":{"displayed":27,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":24,"verified_exact":2,"verified_fuzzy":0},"total_outbound_references":27},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"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."}