Paper Citation Record · LEDGER

Games on Graphs: From Logic and Automata to Algorithms

As of 23 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 15 inbound Pith citation observations for arXiv:2305.10546.

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

pith.paper-citation-record.v1
2305.10546 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 15 of 15 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+00:00

measured 15 of 15 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-16T11:07:48.661374Z

measured 0 of 1 external citation measurements

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 ac58c939-f302-464a-a82d-407439bee36f · inbound

LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces cites this paper.

LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces Games on Graphs: From Logic and Automata to Algorithms

Reference 2020

Resolution: unresolved; no resolver link, observed 2026-08-12T20:57:52.238668Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ab1c6ff-02b5-4ffa-9444-ee2e279854ef · inbound

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet cites this paper.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Games on Graphs: From Logic and Automata to Algorithms

Reference 95

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.483728Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8478ff5f-636a-448c-b06c-f6caac981dd2 · inbound

Responsibility in Actor-Based Systems cites this paper.

Responsibility in Actor-Based Systems Games on Graphs: From Logic and Automata to Algorithms

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-11T20:59:43.908502Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b432c97a-cc55-4361-8dc9-670819e01a67 · inbound

Temporal Explorability Games cites this paper.

Temporal Explorability Games Games on Graphs: From Logic and Automata to Algorithms

Reference 2013

Resolution: unresolved; no resolver link, observed 2026-08-11T10:54:04.076217Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d26f5936-8046-48db-907e-8f48efde3e97 · inbound

A Dichotomy Theorem for Ordinal Ranks in MSO cites this paper.

A Dichotomy Theorem for Ordinal Ranks in MSO Games on Graphs: From Logic and Automata to Algorithms

Reference 2011

Resolution: malformed identifier; no resolver link, observed 2026-08-10T21:26:03.981452Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6982e134-f6d4-411e-864e-4f79046eb0e9 · inbound

A Dichotomy Theorem for Ordinal Ranks in MSO cites this paper.

A Dichotomy Theorem for Ordinal Ranks in MSO Games on Graphs: From Logic and Automata to Algorithms

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-10T21:26:03.985484Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d251c6b-bbe9-4fac-9030-443f0b47fa05 · inbound

Quantitative Strategy Templates cites this paper.

Quantitative Strategy Templates Games on Graphs: From Logic and Automata to Algorithms

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-16T11:07:48.656581Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 042032eb-bf93-4aa2-b6c2-fa73e9fde5a4 · inbound

Quantitative Strategy Templates cites this paper.

Quantitative Strategy Templates Games on Graphs: From Logic and Automata to Algorithms

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-16T11:07:48.661374Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6ad20810-77da-42eb-8333-3dcdfbc6f79b · inbound

Antichains for Concurrent Parameterized Games cites this paper.

Antichains for Concurrent Parameterized Games Games on Graphs: From Logic and Automata to Algorithms

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-16T04:35:08.378376Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

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-23T06:30:58.430688+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-23T06:30:58.430688+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.