Paper Citation Record · LEDGER

Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis

As of 14 August 2026, this Paper Citation Record lists 4 of 4 outbound references and 1 inbound Pith citation observation for arXiv:2508.14725.

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

pith.paper-citation-record.v1
2508.14725 v1

Coverage vector

measured 4 of 4 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-05T18:32:27.453757Z

measured 5 of 5 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-05-10T03:14:33.417934Z

measured 1 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

4 of 4 outbound references displayed

verified exact0
verified fuzzy1
unresolved3
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

0
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

Observation 08fe54b8-0d80-49f5-bffb-57f934131e7e · outbound

This paper cites an unresolved cited work.

Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis Unresolved cited work

Reference 2003

Resolution: unresolved; raw_fallback, observed 2026-08-05T18:32:27.729062Z

Source-reported events for the cited work

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

Observation 6c595047-8395-4473-82b1-cdd5852bec31 · outbound

This paper cites Games on Graphs: From Logic and Automata to Algorithms.

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 daa3e5e4-908f-4d2b-b7ee-70549faa2ad5 · outbound

This paper cites In IJCAI.

Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis In IJCAI

Reference 2020

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T18:32:27.615837Z

Source-reported events for the cited work

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

Observation a0f528e6-552c-493a-9693-9f0d1316b3d6 · outbound

This paper cites an unresolved cited work.

Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis Unresolved cited work

Reference 2024

Resolution: unresolved; raw_fallback, observed 2026-08-05T18:32:27.887054Z

Source-reported events for the cited work

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

Pith citing papers

Observation f2862af1-d252-4612-8a2f-4d15a7b51509 · inbound

Symbolic Synthesis for LTLf+ Obligations cites this paper.

Symbolic Synthesis for LTLf+ Obligations Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis

Reference 11

Resolution: verified exact; arxiv_id, observed 2026-05-10T03:24:14.802334Z

Source-reported events for the cited work

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