Paper Citation Record · LEDGER

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames

As of 8 August 2026, this Paper Citation Record lists 27 of 27 outbound references and 0 inbound Pith citation observations for arXiv:2506.01010.

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

pith.paper-citation-record.v1
2506.01010 v1

Coverage vector

measured 27 of 27 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T11:58:21.730738Z

measured 27 of 27 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+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

27 of 27 outbound references displayed

verified exact9
verified fuzzy3
unresolved12
parse uncertain0
malformed identifier2
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 0afeed62-34de-43b2-913c-98345bb59eca · outbound

This paper cites an unresolved cited work.

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:58:24.410762Z

Source-reported events for the cited work

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

Observation 7cf25d70-f4fc-4e14-bfc4-60e15afe5980 · outbound

This paper cites an unresolved cited work.

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-07T11:58:19.809911Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55551520-4818-420a-8717-0f405cf3f9fe · outbound

This paper cites In: International Joint Conference on Artificial Intelligence, IJCAI 2019.

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames In: International Joint Conference on Artificial Intelligence, IJCAI 2019

Reference 3

Resolution: verified exact; doi, observed 2026-08-07T11:58:23.016255Z

Source-reported events for the cited work

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

Observation 22179d79-4d17-4fd8-b72e-fda46f8b3393 · outbound

This paper cites In: Computer Aided Verification, CAV 2014.

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames In: Computer Aided Verification, CAV 2014

Reference 4

Resolution: verified exact; doi, observed 2026-08-07T11:58:22.864849Z

Source-reported events for the cited work

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

Observation 19e24977-a28f-43ae-ad71-b8367eb5996c · outbound

This paper cites Information and Computation 208(6), 677–693 (2010).

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames Information and Computation 208(6), 677–693 (2010)

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-07T11:58:20.009538Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec7af625-995c-48e7-9582-8b8da2a85156 · outbound

This paper cites Information, Interaction and Agency pp.

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames Information, Interaction and Agency pp

Reference 6

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T11:58:24.232411Z

Source-reported events for the cited work

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

Observation 088f7265-48d0-49dc-a0ec-1217751d2654 · outbound

This paper cites an unresolved cited work.

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-07T11:58:20.083564Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5bf8a45-0f08-43a8-b87f-f6fd7ee841a2 · outbound

This paper cites LNCS, vol.

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames LNCS, vol

Reference 8

Resolution: verified exact; doi, observed 2026-08-07T11:58:22.715881Z

Source-reported events for the cited work

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

Observation 06980e10-5e42-456b-9046-3268086471bc · outbound

This paper cites In: Au- tomated Deduction, CADE 2023.

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames In: Au- tomated Deduction, CADE 2023

Reference 9

Resolution: verified exact; doi, observed 2026-08-07T11:58:22.556072Z

Source-reported events for the cited work

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

Observation 1b417f4d-9a04-4c9d-9704-efdcea614897 · outbound

This paper cites In: Verification, Model Checking, and Abstract Interpretation, VMCAI 2024.

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames In: Verification, Model Checking, and Abstract Interpretation, VMCAI 2024

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:58:24.125091Z

Source-reported events for the cited work

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

Observation fa29e06a-8ca6-4067-a06b-8e657fa24519 · outbound

This paper cites In: Concurrency Theory, CONCUR 2019.

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames In: Concurrency Theory, CONCUR 2019

Reference 11

Resolution: verified exact; doi, observed 2026-08-07T11:58:22.414313Z

Source-reported events for the cited work

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

Observation 4d314169-7507-4621-a136-39ecfac662ea · outbound

This paper cites In: Autonomous Agents and Multiagent Systems, AAMAS.

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames In: Autonomous Agents and Multiagent Systems, AAMAS

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:58:23.997496Z

Source-reported events for the cited work

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

Observation de7bdc62-e470-4902-a6fb-bda4c509f6d6 · outbound

This paper cites Studia Informatica 25(1–2) (2021).

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames Studia Informatica 25(1–2) (2021)

Reference 13

Resolution: verified exact; doi, observed 2026-08-07T11:58:22.239015Z

Source-reported events for the cited work

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

Observation 63099d90-ed24-413a-a426-82fb43a16cca · outbound

This paper cites an unresolved cited work.

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-07T11:58:20.832551Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dde3d48f-d6f7-4555-8d9e-a479be7c004a · outbound

This paper cites In: Logic in Computer Science, LICS 2022.

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames In: Logic in Computer Science, LICS 2022

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-07T11:58:20.884212Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f743389e-c457-4834-bd4c-ff1b7c1c64c0 · outbound

This paper cites an unresolved cited work.

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames Unresolved cited work

Reference 16

Resolution: verified exact; doi, observed 2026-08-07T11:58:22.130833Z

Source-reported events for the cited work

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

Observation 26040c5c-7b39-4ce9-b77b-5bf9e3500658 · outbound

This paper cites an unresolved cited work.

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-07T11:58:21.142271Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f195098-5a0b-4da1-9566-c20847193e03 · outbound

This paper cites In: Computer Aided Verification, CAV 2002.

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames In: Computer Aided Verification, CAV 2002

Reference 18

Resolution: verified exact; doi, observed 2026-08-07T11:58:22.008036Z

Source-reported events for the cited work

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

Observation 28c58e5f-9c85-4b76-8853-1a336efd84bc · outbound

This paper cites ACM Trans.

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames ACM Trans

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-07T11:58:21.368209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94a43b48-85a0-4bc8-940f-a7ac06726d64 · outbound

This paper cites an unresolved cited work.

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-07T11:58:21.479286Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 926ebc48-0130-409f-8edd-620e216092e2 · outbound

This paper cites an unresolved cited work.

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:58:23.848357Z

Source-reported events for the cited work

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

Observation b77d93af-9a0b-45b7-84e1-3b65cedac082 · outbound

This paper cites an unresolved cited work.

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames Unresolved cited work

Reference 22

Resolution: verified exact; doi, observed 2026-08-07T11:58:21.905440Z

Source-reported events for the cited work

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

Observation 8c4bc29c-18b8-4e75-9595-71b73c85badc · outbound

This paper cites an unresolved cited work.

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-07T11:58:21.658347Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6469f48-2418-4715-9eff-d0cf41d4fce5 · outbound

This paper cites https://github.com/tcsprojects/pgsolver.

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames https://github.com/tcsprojects/pgsolver

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:58:23.681212Z

Source-reported events for the cited work

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

Observation 5511133c-2829-4b77-8f5e-0c972a9a208f · outbound

This paper cites https://doi.org/10.1007/978-3-031-50524-9_8.

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames https://doi.org/10.1007/978-3-031-50524-9_8

Reference 185

Resolution: unresolved; no resolver link, observed 2026-08-07T11:58:20.407473Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9f7cfd1-c308-4735-9daf-0cf168dc3264 · outbound

This paper cites an unresolved cited work.

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames Unresolved cited work

Reference 2001

Resolution: malformed identifier; no resolver link, observed 2026-08-07T11:58:19.732509Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 551f3ec4-6ab0-4156-8054-d5dd56621269 · outbound

This paper cites an unresolved cited work.

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames Unresolved cited work

Reference 2006

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T11:58:23.368579Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.