Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-16T01:55:53.584473Z
Paper Citation Record · LEDGER
A Formal Framework for the Explanation of Finite Automata Decisions
As of 5 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 0 inbound Pith citation observations for arXiv:2602.13351.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-05T06:32:48.257954+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
37 of 37 outbound references displayed
- verified exact5
- verified fuzzy26
- unresolved6
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 36ef7040-6c7d-40ad-b0bf-1b11ea782bab · outbound
This paper cites Aho, Ravi Sethi, and Jeffrey D.
A Formal Framework for the Explanation of Finite Automata Decisions Aho, Ravi Sethi, and Jeffrey D
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T01:57:06.160090Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 6c256e29-d64f-4d3c-98a5-6b50e27f242a · outbound
This paper cites Explainable artificial intelligence (XAI): concepts, taxonomies, opportunities and challenges toward responsible AI.Inf.
A Formal Framework for the Explanation of Finite Automata Decisions Explainable artificial intelligence (XAI): concepts, taxonomies, opportunities and challenges toward responsible AI.Inf
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T01:57:06.191752Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation ef519efa-7ef6-4c4e-b02d-457c6d435f6f · outbound
This paper cites Carroll and Darrell D.
A Formal Framework for the Explanation of Finite Automata Decisions Carroll and Darrell D
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T01:57:06.171462Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 261dad2f-5250-402d-afc0-c417b6b7bbb4 · outbound
This paper cites Mata: A fast and simple finite automata library.
A Formal Framework for the Explanation of Finite Automata Decisions Mata: A fast and simple finite automata library
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T01:57:06.194614Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 79c80031-cf3f-4d50-b257-82d1d7c36f96 · outbound
This paper cites Danesh, Anurag Koul, Alan Fern, and Saeed Khorram.
A Formal Framework for the Explanation of Finite Automata Decisions Danesh, Anurag Koul, Alan Fern, and Saeed Khorram
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T01:57:06.232592Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation a4a7b240-ef2f-4a66-8348-ec36e2b38906 · outbound
This paper cites Logic for explainable AI.
A Formal Framework for the Explanation of Finite Automata Decisions Logic for explainable AI
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T01:57:06.218551Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 6c55634c-bc79-4adf-a9a3-ea63e6c39cce · outbound
This paper cites On the (complete) reasons behind decisions.J.
A Formal Framework for the Explanation of Finite Automata Decisions On the (complete) reasons behind decisions.J
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T01:57:06.208617Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation e816c35d-37a5-41de-87ce-1853f6f8166e · outbound
This paper cites What are dna sequence motifs?Nature Biotechnology, 24(4):423–425.
A Formal Framework for the Explanation of Finite Automata Decisions What are dna sequence motifs?Nature Biotechnology, 24(4):423–425
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T01:57:06.168510Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 948fd41d-2533-4df3-bdb9-ae651cefea43 · outbound
This paper cites an unresolved cited work.
A Formal Framework for the Explanation of Finite Automata Decisions Unresolved cited work
Reference 9
- Resolution
- unresolved
- raw_fallback, observed 2026-05-16T01:57:06.197258Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 7f191d0c-6de9-4ffa-970d-632a215d3918 · outbound
This paper cites Solving optimization problems with DLL.
A Formal Framework for the Explanation of Finite Automata Decisions Solving optimization problems with DLL
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T01:57:06.185268Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 142a2427-c5fa-42b0-bf24-3787ebcf13c9 · outbound
This paper cites Gurobi optimizer reference manual.
A Formal Framework for the Explanation of Finite Automata Decisions Gurobi optimizer reference manual
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T01:57:06.176959Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation ee714f31-b084-420e-9a21-58dbf9d3b09a · outbound
This paper cites Deepsynth: Automata synthesis for automatic task segmentation in deep reinforcement learning.
A Formal Framework for the Explanation of Finite Automata Decisions Deepsynth: Automata synthesis for automatic task segmentation in deep reinforcement learning
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T01:57:06.157294Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 8aa6a362-09e6-466a-86c0-a276fb58a219 · outbound
This paper cites III Hunt.
A Formal Framework for the Explanation of Finite Automata Decisions III Hunt
Reference 13
- Resolution
- verified exact
- arxiv_id, observed 2026-05-16T01:57:06.058005Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 7e07e19d-c9aa-4305-98ff-e34e396c0956 · outbound
This paper cites PySAT: A Python toolkit for prototyping with SAT oracles.
A Formal Framework for the Explanation of Finite Automata Decisions PySAT: A Python toolkit for prototyping with SAT oracles
Reference 14
- Resolution
- verified exact
- doi, observed 2026-05-16T01:57:06.065177Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation d858e9c8-fb96-4774-abee-e003e5265f12 · outbound
This paper cites RC2: an efficient maxsat solver.J.
A Formal Framework for the Explanation of Finite Automata Decisions RC2: an efficient maxsat solver.J
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T01:57:06.154115Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation c06fabc5-615a-45f0-934e-ceebb2747e5e · outbound
This paper cites From contrastive to abductive explanations and back again.
A Formal Framework for the Explanation of Finite Automata Decisions From contrastive to abductive explanations and back again
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T01:57:06.230188Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 8cc5d1bf-024c-458e-a7b1-6d5e51dc5033 · outbound
This paper cites Towards universally accessible SAT technology.
A Formal Framework for the Explanation of Finite Automata Decisions Towards universally accessible SAT technology
Reference 17
- Resolution
- verified exact
- doi, observed 2026-05-16T01:57:06.050349Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 7f8c43af-e77a-4548-8642-aa44dd4f7ca3 · outbound
This paper cites Liffiton and Ammar Malik.
A Formal Framework for the Explanation of Finite Automata Decisions Liffiton and Ammar Malik
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T01:57:06.174271Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation d5a0cb9f-78c8-4f94-9a79-6b6f9495fc67 · outbound
This paper cites Liffiton, Alessandro Previti, Ammar Malik, and João Marques-Silva.
A Formal Framework for the Explanation of Finite Automata Decisions Liffiton, Alessandro Previti, Ammar Malik, and João Marques-Silva
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T01:57:06.179631Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 84ee454d-30c1-4123-a7f1-c1cd259edc73 · outbound
This paper cites Delivering trustworthy AI through formal XAI.
A Formal Framework for the Explanation of Finite Automata Decisions Delivering trustworthy AI through formal XAI
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T01:57:06.162766Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation eef8be67-80a9-4d20-ae2c-a92cc4dcb19a · outbound
This paper cites No silver bullet: interpretable ML models must be ex- plained.Frontiers Artif.
A Formal Framework for the Explanation of Finite Automata Decisions No silver bullet: interpretable ML models must be ex- plained.Frontiers Artif
Reference 21
- Resolution
- verified exact
- arxiv_id, observed 2026-05-16T01:57:06.044784Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation c67f924f-9fb7-4e2a-959c-68c477f241f4 · outbound
This paper cites Explainable reinforcement learning: A survey and comparative review.ACM Comput.
A Formal Framework for the Explanation of Finite Automata Decisions Explainable reinforcement learning: A survey and comparative review.ACM Comput
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T01:57:06.237947Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation fae04ba1-53d8-438d-8cd7-5d71cc34d3d6 · outbound
This paper cites Explanation in artificial intelligence: Insights from the social sciences.Artif.
A Formal Framework for the Explanation of Finite Automata Decisions Explanation in artificial intelligence: Insights from the social sciences.Artif
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T01:57:06.165570Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 4fb89f78-2726-4431-9f81-4b14b3fb9903 · outbound
This paper cites Finite automata.
A Formal Framework for the Explanation of Finite Automata Decisions Finite automata
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T01:57:06.211066Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 5902d482-98f8-4476-aee2-de9ad2db3e67 · outbound
This paper cites Partial MUS enumeration.
A Formal Framework for the Explanation of Finite Automata Decisions Partial MUS enumeration
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T01:57:06.182275Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 8768e90b-e635-4497-b707-7a1d4f492800 · outbound
This paper cites Rabin and Dana S.
A Formal Framework for the Explanation of Finite Automata Decisions Rabin and Dana S
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T01:57:06.221115Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation ff84ae72-92ac-44aa-806f-b57d6642c53d · outbound
This paper cites Improved benchmarks for computa- tional motif discovery.BMC Bioinform., 8.
A Formal Framework for the Explanation of Finite Automata Decisions Improved benchmarks for computa- tional motif discovery.BMC Bioinform., 8
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T01:57:06.223514Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation a4d70479-3cc6-49f6-8de0-49bd4ef89906 · outbound
This paper cites PWS Publishing Company.
A Formal Framework for the Explanation of Finite Automata Decisions PWS Publishing Company
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T01:57:06.203106Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation e5e0d5fe-6ef2-4984-8cd6-12fc24eb4472 · outbound
This paper cites an unresolved cited work.
A Formal Framework for the Explanation of Finite Automata Decisions Unresolved cited work
Reference 29
- Resolution
- unresolved
- raw_fallback, observed 2026-05-16T01:57:06.216069Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation a2848b01-3d1d-4b29-92c1-01bbbed75eb8 · outbound
This paper cites A survey on regular expression matching for deep packet inspection: Applications, algorithms, and hardware platforms.IEEE Commun.
A Formal Framework for the Explanation of Finite Automata Decisions A survey on regular expression matching for deep packet inspection: Applications, algorithms, and hardware platforms.IEEE Commun
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T01:57:06.235193Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation ce64fb16-2cff-4d4e-b73e-b56a837fc028 · outbound
This paper cites Improving nfa-based signature matching using ordered binary decision diagrams.
A Formal Framework for the Explanation of Finite Automata Decisions Improving nfa-based signature matching using ordered binary decision diagrams
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T01:57:06.200258Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 09c61289-5930-42eb-bc8d-790ce4295673 · outbound
This paper cites an unresolved cited work.
A Formal Framework for the Explanation of Finite Automata Decisions Unresolved cited work
Reference 32
- Resolution
- unresolved
- raw_fallback, observed 2026-05-16T01:57:06.225578Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation a12999dc-800f-4b8a-9160-beae2ab28fc6 · outbound
This paper cites On Formal Feature Attribution and Its Approximation.
A Formal Framework for the Explanation of Finite Automata Decisions On Formal Feature Attribution and Its Approximation
Reference 33
- Resolution
- verified exact
- arxiv_id, observed 2026-05-16T01:57:06.075831Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 50bedab4-15c9-4e24-9a76-381b84cd9460 · outbound
This paper cites an unresolved cited work.
A Formal Framework for the Explanation of Finite Automata Decisions Unresolved cited work
Reference 34
- Resolution
- unresolved
- raw_fallback, observed 2026-05-16T01:57:06.188436Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 0e46a89b-789d-4fc0-884a-42fc09eb540a · outbound
This paper cites an unresolved cited work.
A Formal Framework for the Explanation of Finite Automata Decisions Unresolved cited work
Reference 35
- Resolution
- unresolved
- raw_fallback, observed 2026-05-16T01:57:06.213631Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 1d43fb3a-03c7-43a5-a7a6-b6b5ec615489 · outbound
This paper cites an unresolved cited work.
A Formal Framework for the Explanation of Finite Automata Decisions Unresolved cited work
Reference 36
- Resolution
- unresolved
- raw_fallback, observed 2026-05-16T01:57:06.227707Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 7ceab967-c37b-4a02-a32d-0a1a57a4f0cb · outbound
This paper cites d}for l∈ {5,10,15,20} , m∈ {1,3,5,10} , 16 Table 3: Average number of explanations computed if reaching the timeout.
A Formal Framework for the Explanation of Finite Automata Decisions d}for l∈ {5,10,15,20} , m∈ {1,3,5,10} , 16 Table 3: Average number of explanations computed if reaching the timeout
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-16T01:57:06.206110Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Pith citing papers
No inbound Pith citation observations are available.