Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
Paper Citation Record · LEDGER
Games on Graphs: From Logic and Automata to Algorithms
As of 10 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 6 inbound Pith citation observations for arXiv:2305.10546.
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-10T06:31:04.303077+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-05T18:32:27.453757Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-07-09T19:46:28.691052Z
Reference resolution
0 of 0 outbound references displayed
- verified exact0
- verified fuzzy0
- unresolved0
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
No outbound reference observations are available for this paper version.
Pith citing papers
Observation 6c595047-8395-4473-82b1-cdd5852bec31 · inbound
Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis cites this paper.
Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis Games on Graphs: From Logic and Automata to Algorithms
Reference 2017
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T18:32:27.453757Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 59c2515a-81c8-4b64-84e9-6d90d82adae2 · inbound
Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis cites this paper.
Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis Games on Graphs: From Logic and Automata to Algorithms
Reference 46
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T10:25:12.202732Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bbae6d2c-38f1-4052-9691-c38f6b665334 · inbound
Incremental Data-Driven Policy Synthesis via Game Abstractions cites this paper.
Incremental Data-Driven Policy Synthesis via Game Abstractions Games on Graphs: From Logic and Automata to Algorithms
Reference 14
- Resolution
- verified exact
- arxiv_id, observed 2026-05-17T22:05:21.433498Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 14894bc7-71df-42a3-859d-6b528eb922ee · inbound
Ample sets in Cartesian products cites this paper.
Ample sets in Cartesian products Games on Graphs: From Logic and Automata to Algorithms
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T22:18:47.090289Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4a1f721d-aa0b-45b4-96fc-15c1505b99bf · inbound
Simple Nash Equilibria for Qualitative Multiplayer Games cites this paper.
Simple Nash Equilibria for Qualitative Multiplayer Games Games on Graphs: From Logic and Automata to Algorithms
Reference 10
- Resolution
- malformed identifier
- local_arxiv, observed 2026-07-09T19:46:28.693095Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 70c34a3e-f875-4d0b-906c-c9717af5c0ee · inbound
Multi-Player Discrete-Bidding Games; Determinacy, Equilibria, and Complexity cites this paper.
Multi-Player Discrete-Bidding Games; Determinacy, Equilibria, and Complexity Games on Graphs: From Logic and Automata to Algorithms
Reference 88
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T00:22:21.842625Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.