Paper Citation Record · LEDGER

Turn-based Multi-Agent Reinforcement Learning Model Checking

As of 20 August 2026, this Paper Citation Record lists 47 of 47 outbound references and 0 inbound Pith citation observations for arXiv:2501.03187.

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

pith.paper-citation-record.v1
2501.03187 v1

Coverage vector

measured 47 of 47 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T21:56:53.721492Z

measured 47 of 47 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+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

47 of 47 outbound references displayed

verified exact2
verified fuzzy20
unresolved25
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 16ad4ea5-e484-489c-bf4a-f5fc0c8fbeb5 · outbound

This paper cites write newline.

Turn-based Multi-Agent Reinforcement Learning Model Checking write newline

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-10T21:56:53.570700Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a0cc8f4e-2eee-4487-b30d-a0e8b3c4a102 · outbound

This paper cites S., and Abu-Naser, S.

Turn-based Multi-Agent Reinforcement Learning Model Checking S., and Abu-Naser, S

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:56:54.224062Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation a1f191ef-fdd2-46b1-b15b-182920db8f27 · outbound

This paper cites and Katoen, J.

Turn-based Multi-Agent Reinforcement Learning Model Checking and Katoen, J

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:56:54.215049Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 46506c83-b44b-4674-be1c-819d23a793b0 · outbound

This paper cites Dota 2 with Large Scale Deep Reinforcement Learning.

Turn-based Multi-Agent Reinforcement Learning Model Checking Dota 2 with Large Scale Deep Reinforcement Learning

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-10T21:56:53.583819Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bdf8bda7-9ba5-4488-ab34-801508f3342d · outbound

This paper cites Reinforcement Learning with Probabilistic Guarantees for Autonomous Driving.

Turn-based Multi-Agent Reinforcement Learning Model Checking Reinforcement Learning with Probabilistic Guarantees for Autonomous Driving

Reference 5

Resolution: verified exact; local_arxiv, observed 2026-08-10T21:56:53.795154Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 1fb18f20-3e10-46d2-87bc-2f5e50acbafc · outbound

This paper cites G., and Lime, D.

Turn-based Multi-Agent Reinforcement Learning Model Checking G., and Lime, D

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:56:54.205151Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 59aac556-a7f5-496e-81ce-de6ee4442f92 · outbound

This paper cites A., Raskin, J., and Zikelic, D.

Turn-based Multi-Agent Reinforcement Learning Model Checking A., Raskin, J., and Zikelic, D

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:56:54.194555Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 6160c181-a18d-42e1-970b-655a6fd61072 · outbound

This paper cites and Yannakakis, M.

Turn-based Multi-Agent Reinforcement Learning Model Checking and Yannakakis, M

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:56:54.183752Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation dbd57f7d-cc1c-4d81-88e1-be0300e64f4e · outbound

This paper cites and Yannakakis, M.

Turn-based Multi-Agent Reinforcement Learning Model Checking and Yannakakis, M

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:56:54.173637Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation fcfcaac7-b2a3-47f2-bbef-551d571955c3 · outbound

This paper cites and Komeili, M.

Turn-based Multi-Agent Reinforcement Learning Model Checking and Komeili, M

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:56:54.163600Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 5f5b368e-fe8d-41a1-ab93-6db2a5daad23 · outbound

This paper cites an unresolved cited work.

Turn-based Multi-Agent Reinforcement Learning Model Checking Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:56:54.153962Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b8c5bf75-bcbd-4616-be14-24a029da2f94 · outbound

This paper cites an unresolved cited work.

Turn-based Multi-Agent Reinforcement Learning Model Checking Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:56:54.143819Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 98f6ac2e-d85e-4786-ab80-5007466d3e9b · outbound

This paper cites and Platzer, A.

Turn-based Multi-Agent Reinforcement Learning Model Checking and Platzer, A

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:56:54.134511Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e0f5b619-2d04-4139-b878-6d3645f35fda · outbound

This paper cites an unresolved cited work.

Turn-based Multi-Agent Reinforcement Learning Model Checking Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:56:54.123881Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 7c79f074-b480-43a6-9f2d-d508fc0ff20a · outbound

This paper cites M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A., and Wojtczak, D.

Turn-based Multi-Agent Reinforcement Learning Model Checking M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A., and Wojtczak, D

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:56:54.114125Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation cb8e83a4-9d76-402c-a546-66b1e502fe5a · outbound

This paper cites D., Miltersen, P.

Turn-based Multi-Agent Reinforcement Learning Model Checking D., Miltersen, P

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:56:54.104123Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation ecda35d3-21c0-43c5-a777-b494c68d9c7c · outbound

This paper cites and Jonsson, B.

Turn-based Multi-Agent Reinforcement Learning Model Checking and Jonsson, B

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:56:54.094866Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 4e87c1da-d486-4cd6-9380-eb8f3fc8fddb · outbound

This paper cites an unresolved cited work.

Turn-based Multi-Agent Reinforcement Learning Model Checking Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:56:54.083859Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 0b71ff94-5bbb-4771-86e0-9aebebd441e2 · outbound

This paper cites an unresolved cited work.

Turn-based Multi-Agent Reinforcement Learning Model Checking Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:56:54.072402Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 54779864-881d-4913-89a3-80ef13f0a823 · outbound

This paper cites an unresolved cited work.

Turn-based Multi-Agent Reinforcement Learning Model Checking Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:56:54.061530Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation c6ac0c22-7b0f-4405-a5bc-fce1c676537c · outbound

This paper cites an unresolved cited work.

Turn-based Multi-Agent Reinforcement Learning Model Checking Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:56:54.051690Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation bd6b095c-ff53-4c40-8acc-1f07b16b332f · outbound

This paper cites an unresolved cited work.

Turn-based Multi-Agent Reinforcement Learning Model Checking Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:56:54.042016Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 996a6532-9c4f-4ac4-8f41-e54a8682dbb8 · outbound

This paper cites an unresolved cited work.

Turn-based Multi-Agent Reinforcement Learning Model Checking Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:56:54.032663Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 7f1ac9eb-bcf4-44ea-b875-530059f39f2c · outbound

This paper cites P., Littman, M.

Turn-based Multi-Agent Reinforcement Learning Model Checking P., Littman, M

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:56:54.023111Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation c334c0ca-e0c9-4114-8ca6-7cf899c2a0b6 · outbound

This paper cites Y., Ribeiro, A., Bastani, O., and Kumar, V.

Turn-based Multi-Agent Reinforcement Learning Model Checking Y., Ribeiro, A., Bastani, O., and Kumar, V

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:56:54.012744Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 476237e4-5a62-49b9-a717-6fe18ffed4f3 · outbound

This paper cites an unresolved cited work.

Turn-based Multi-Agent Reinforcement Learning Model Checking Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:56:54.002230Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e5387dfc-4386-45d9-aace-e7f009deb1c5 · outbound

This paper cites an unresolved cited work.

Turn-based Multi-Agent Reinforcement Learning Model Checking Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:56:53.992380Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation d7d5baec-a4db-43a9-8bde-ca3f22dd76de · outbound

This paper cites Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games.

Turn-based Multi-Agent Reinforcement Learning Model Checking Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games

Reference 28

Resolution: verified exact; local_arxiv, observed 2026-08-10T21:56:53.779882Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b68cfa26-20ea-4f44-bc16-192ddd38970c · outbound

This paper cites an unresolved cited work.

Turn-based Multi-Agent Reinforcement Learning Model Checking Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:56:53.982434Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation a3f3b434-cf77-4fee-a363-9a5c710a7ae6 · outbound

This paper cites Z., Norman, G., and Parker, D.

Turn-based Multi-Agent Reinforcement Learning Model Checking Z., Norman, G., and Parker, D

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:56:53.973106Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 6c7df582-9ea6-417d-8a0d-385d72358ae1 · outbound

This paper cites and Togelius, J.

Turn-based Multi-Agent Reinforcement Learning Model Checking and Togelius, J

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:56:53.962843Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 5a3430b7-17e9-47da-86ed-a182cf084dc0 · outbound

This paper cites an unresolved cited work.

Turn-based Multi-Agent Reinforcement Learning Model Checking Unresolved cited work

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:56:53.952448Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f0e8b928-4fbc-4c6b-bef6-7716ee36caef · outbound

This paper cites Environment-Independent Task Specifications via GLTL.

Turn-based Multi-Agent Reinforcement Learning Model Checking Environment-Independent Task Specifications via GLTL

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-10T21:56:53.677699Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6642426b-53cc-45ab-ac05-546f2bd52310 · outbound

This paper cites Playing Atari with Deep Reinforcement Learning.

Turn-based Multi-Agent Reinforcement Learning Model Checking Playing Atari with Deep Reinforcement Learning

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-10T21:56:53.681139Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8bb20041-95bf-47c2-85c1-df9ea10b549e · outbound

This paper cites an unresolved cited work.

Turn-based Multi-Agent Reinforcement Learning Model Checking Unresolved cited work

Reference 35

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:56:53.941700Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 56d92cc3-da09-44ee-bcb8-5a3ef28747dc · outbound

This paper cites an unresolved cited work.

Turn-based Multi-Agent Reinforcement Learning Model Checking Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:56:53.931727Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation df0878e3-41fa-4484-8161-e33fe8cd0dcf · outbound

This paper cites an unresolved cited work.

Turn-based Multi-Agent Reinforcement Learning Model Checking Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:56:53.922371Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e0dad1f0-f5d6-4021-b7dd-cc7abcda36f0 · outbound

This paper cites an unresolved cited work.

Turn-based Multi-Agent Reinforcement Learning Model Checking Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:56:53.911443Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 8be88ad7-a9cc-4861-9489-9454c7fec847 · outbound

This paper cites S., Coogan, S., Sastry, S.

Turn-based Multi-Agent Reinforcement Learning Model Checking S., Coogan, S., Sastry, S

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:56:53.901269Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 101c3151-a83a-412c-953a-46d241e81312 · outbound

This paper cites an unresolved cited work.

Turn-based Multi-Agent Reinforcement Learning Model Checking Unresolved cited work

Reference 40

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:56:53.891420Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 57c8372c-f117-4d4c-9138-0396920319a5 · outbound

This paper cites an unresolved cited work.

Turn-based Multi-Agent Reinforcement Learning Model Checking Unresolved cited work

Reference 41

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:56:53.880763Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b522f9ba-c074-419f-9b68-fcdcdb5028d6 · outbound

This paper cites an unresolved cited work.

Turn-based Multi-Agent Reinforcement Learning Model Checking Unresolved cited work

Reference 42

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:56:53.869691Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 84c1e0eb-9041-4168-bca2-b9278d80a8c1 · outbound

This paper cites a llstr \.

Turn-based Multi-Agent Reinforcement Learning Model Checking a llstr \

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:56:53.858321Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 912fc172-79ab-4721-84b3-68edd00322ee · outbound

This paper cites and Garc \' a - S \' a nchez, P.

Turn-based Multi-Agent Reinforcement Learning Model Checking and Garc \' a - S \' a nchez, P

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:56:53.847078Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b0a24fb2-e53c-43c2-82b0-204789c2081b · outbound

This paper cites an unresolved cited work.

Turn-based Multi-Agent Reinforcement Learning Model Checking Unresolved cited work

Reference 45

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:56:53.835753Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f40c7c50-ce2a-405b-bb85-3341bc48a12a · outbound

This paper cites and Watson, I.

Turn-based Multi-Agent Reinforcement Learning Model Checking and Watson, I

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:56:53.825783Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 7f18a86e-f0e4-4b19-a524-f62115ef4241 · outbound

This paper cites V., and Plaat, A.

Turn-based Multi-Agent Reinforcement Learning Model Checking V., and Plaat, A

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:56:53.815681Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Pith citing papers

No inbound Pith citation observations are available.