Paper Citation Record · LEDGER

Antichains for Concurrent Parameterized Games

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

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

pith.paper-citation-record.v1
2505.13460 v2

Coverage vector

measured 13 of 13 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T04:35:08.392080Z

measured 13 of 13 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 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

13 of 13 outbound references displayed

verified exact1
verified fuzzy7
unresolved4
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 399dc217-c5ed-4e5c-9107-f9a93857541c · outbound

This paper cites an unresolved cited work.

Antichains for Concurrent Parameterized Games Unresolved cited work

Reference 1

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fbf2fc30-259c-4ef3-8446-0bbee389e4ae · outbound

This paper cites C oncurrent P arameterized G ames.

Antichains for Concurrent Parameterized Games C oncurrent P arameterized G ames

Reference 2

Resolution: verified exact; doi, observed 2026-08-16T04:35:08.460806Z

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 ea28ad91-ad95-4483-b6d9-1e3ebc177103 · outbound

This paper cites Antichain-based qbf solving.

Antichains for Concurrent Parameterized Games Antichain-based qbf solving

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:35:08.654213Z

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 c0f5c199-5295-47fa-8c6a-86315b11d1a1 · outbound

This paper cites P \' e rez.

Antichains for Concurrent Parameterized Games P \' e rez

Reference 4

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad9a8f05-f237-4f36-b6de-3d0c19156553 · outbound

This paper cites Henzinger, and Jean-François Raskin.

Antichains for Concurrent Parameterized Games Henzinger, and Jean-François Raskin

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:35:08.640045Z

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 44749cd8-bbd4-41bb-8fef-245eb6814342 · outbound

This paper cites A lattice theory for solving games of imperfect information.

Antichains for Concurrent Parameterized Games A lattice theory for solving games of imperfect information

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:35:08.624839Z

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 b27d15b3-95fc-4eee-be8c-4422793a1794 · outbound

This paper cites Antichains for the automata-based approach to model-checking.

Antichains for Concurrent Parameterized Games Antichains for the automata-based approach to model-checking

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:35:08.609046Z

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 7d96a074-90dd-443b-9a67-8b93cfc3f42a · outbound

This paper cites Antichains algorithms for finite automata.

Antichains for Concurrent Parameterized Games Antichains algorithms for finite automata

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:35:08.593304Z

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 a661dda4-7457-47bf-918a-304af6c494a2 · outbound

This paper cites Keeping a crowd safe: On the complexity of parameterized verification (invited talk).

Antichains for Concurrent Parameterized Games Keeping a crowd safe: On the complexity of parameterized verification (invited talk)

Reference 9

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

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

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

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 30053376-cac6-4ee0-b9b6-3fe9538d7023 · outbound

This paper cites An antichain algorithm for LTL realizability.

Antichains for Concurrent Parameterized Games An antichain algorithm for LTL realizability

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:35:08.579089Z

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 1609869c-3bbd-42ab-86b3-020cb6247350 · outbound

This paper cites German and A.

Antichains for Concurrent Parameterized Games German and A

Reference 12

Resolution: metadata mismatch; raw_fallback, observed 2026-08-16T04:35:08.548705Z

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 8bca7638-e45d-4f71-9221-50b3c28e6594 · outbound

This paper cites Antichains: alternative algorithms for LTL satisfiability and model-checking.

Antichains for Concurrent Parameterized Games Antichains: alternative algorithms for LTL satisfiability and model-checking

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:35:08.564687Z

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.

Pith citing papers

No inbound Pith citation observations are available.