Paper Citation Record · LEDGER

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)

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

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

pith.paper-citation-record.v1
2506.10377 v2

Coverage vector

measured 36 of 36 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T04:37:41.756252Z

measured 36 of 36 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+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

36 of 36 outbound references displayed

verified exact4
verified fuzzy14
unresolved18
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation b5f10e41-9771-4d71-ba07-8340154c84dd · outbound

This paper cites Abramsky and A.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Abramsky and A

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:37:42.411656Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation b41583cd-829f-4c2d-bfba-faf25cf20ba3 · outbound

This paper cites Model checking markov chains as distribution transformers.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Model checking markov chains as distribution transformers

Reference 2

Resolution: verified exact; doi, observed 2026-08-07T04:37:42.395949Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation a51682e1-9dbd-4f28-8c39-32efd85bfc58 · outbound

This paper cites Akshay, Blaise Genest, and P.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Akshay, Blaise Genest, and P

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-07T04:37:41.614803Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d367b59b-0364-4b54-9b17-8783de239d80 · outbound

This paper cites Akshay, Timos Antonopoulos, Joël Ouaknine, and James Worrell.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Akshay, Timos Antonopoulos, Joël Ouaknine, and James Worrell

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-07T04:37:41.619484Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e259bcab-1e1c-496e-bada-0b531976cd13 · outbound

This paper cites Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, and or e Z ikeli\' c.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, and or e Z ikeli\' c

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-07T04:37:41.624295Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 335e586f-a421-47a9-9dd8-fa1d6fba3482 · outbound

This paper cites Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, and or e Z ikeli\' c.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, and or e Z ikeli\' c

Reference 6

Resolution: verified exact; doi, observed 2026-08-07T04:37:41.924678Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation acf28f3c-46c0-447d-ab9f-eb7eb3b42736 · outbound

This paper cites Akshay, Blaise Genest, and Nikhil Vyas.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Akshay, Blaise Genest, and Nikhil Vyas

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:37:42.379364Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation c958b174-9dd5-4f84-b500-56f68c02113c · outbound

This paper cites Computational Complexity - A Modern Approach.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Computational Complexity - A Modern Approach

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-07T04:37:41.638503Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1fd9f75-22c7-4ee3-bc28-a0278aa3df95 · outbound

This paper cites Ash and Catherine A.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Ash and Catherine A

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:37:42.352197Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 2df8f098-dcd1-4776-9b00-93da92c3c6e5 · outbound

This paper cites Category Theory.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Category Theory

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:37:42.333608Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 4ed715e6-fab2-495b-aa5d-793e0a7cdfda · outbound

This paper cites Principles of model checking.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Principles of model checking

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:37:42.317715Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 00a7c161-7c3f-4a65-b4eb-02990019a356 · outbound

This paper cites Pyomo-optimization modeling in python , volume 67.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Pyomo-optimization modeling in python , volume 67

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:37:42.301685Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 421e997a-5b45-4384-a55e-25d6f6790a96 · outbound

This paper cites Model checking mdps with a unique compact invariant set of distributions.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Model checking mdps with a unique compact invariant set of distributions

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T04:37:41.660135Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8cb43eb-2e83-48af-bdba-d70889a4290f · outbound

This paper cites PolyQEnt: A Polynomial Quantified Entailment Solver.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) PolyQEnt: A Polynomial Quantified Entailment Solver

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-07T04:37:41.664105Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 342d5557-6574-4eea-9d05-33df8f7c8c2f · outbound

This paper cites Z3: An efficient smt solver.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Z3: An efficient smt solver

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:37:42.286424Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 4117495e-db80-4cdf-879d-8a4b30157497 · outbound

This paper cites Limit synchronization in markov decision processes.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Limit synchronization in markov decision processes

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:37:42.271922Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation c0d7c5f2-2e99-4685-92ac-bb6c27582740 · outbound

This paper cites Theorie der einfachen ungleichungen.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Theorie der einfachen ungleichungen

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-07T04:37:41.676434Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f36b54e7-5f91-45e9-8098-d92aad490f40 · outbound

This paper cites Antichains and compositional algorithms for ltl synthesis.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Antichains and compositional algorithms for ltl synthesis

Reference 18

Resolution: verified exact; doi, observed 2026-08-07T04:37:41.896701Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 7ef93a09-3aa3-482c-a951-c01b26269428 · outbound

This paper cites Pysmt: a solver-agnostic library for fast prototyping of smt-based algorithms.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Pysmt: a solver-agnostic library for fast prototyping of smt-based algorithms

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:37:42.245752Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation a51fb61d-6d2f-44b3-bfed-dd8e6958cfb4 · outbound

This paper cites Probabilistic automata on finite words: Decidable and undecidable problems.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Probabilistic automata on finite words: Decidable and undecidable problems

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-07T04:37:41.688446Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36f26a65-2b3e-440c-8ee3-470f3f160ba2 · outbound

This paper cites Measurement-based verification of quantum markov chains.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Measurement-based verification of quantum markov chains

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-07T04:37:41.692671Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e3fbf88-ef15-4484-84fa-7b50c56031b0 · outbound

This paper cites Representing polynomials by positive linear functions on compact convex polyhedra.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Representing polynomials by positive linear functions on compact convex polyhedra

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-07T04:37:41.696781Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 57ecccd7-cf80-4f6a-adfe-7b0fe460290f · outbound

This paper cites Generic trace semantics via coinduction.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Generic trace semantics via coinduction

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:37:42.218479Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation f43411fd-0b52-40b5-8cc9-52bde84c8e50 · outbound

This paper cites The probabilistic model checker storm.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) The probabilistic model checker storm

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-07T04:37:41.704893Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b8d7792-d535-41f8-87ff-23c97bc70d17 · outbound

This paper cites Introduction to Coalgebra: Towards Mathematics of States and Observation , volume 59 of Cambridge Tracts in Theoretical Computer Science.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Introduction to Coalgebra: Towards Mathematics of States and Observation , volume 59 of Cambridge Tracts in Theoretical Computer Science

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-07T04:37:41.709170Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6cc57141-3295-434a-8e6e-86b4fa0b533f · outbound

This paper cites Reasoning about mdps as transformers of probability distributions.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Reasoning about mdps as transformers of probability distributions

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:37:42.202785Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation e5be2f44-0b02-4034-af28-d3a70a360d92 · outbound

This paper cites Kwiatkowska, Gethin Norman, and David Parker.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Kwiatkowska, Gethin Norman, and David Parker

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-07T04:37:41.717802Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a155b799-b4c3-4dbd-95c2-c221a410cc36 · outbound

This paper cites an unresolved cited work.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-07T04:37:41.722170Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10f3dc7d-dd99-4a42-821b-bcc0b5572fcf · outbound

This paper cites Mac Lane.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Mac Lane

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:37:42.188133Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation eba536c3-c063-40c8-a387-d2f1c8bf7b64 · outbound

This paper cites Glpk (gnu linear programming kit).

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Glpk (gnu linear programming kit)

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:37:42.172372Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation a46c4c65-8f27-4722-b640-0cea5052cbd3 · outbound

This paper cites Decision problems for linear recurrence sequences.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Decision problems for linear recurrence sequences

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T04:37:42.156958Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 38b244c7-1bf5-4925-aa4c-236855b77a73 · outbound

This paper cites On linear recurrence sequences and loop termination.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) On linear recurrence sequences and loop termination

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-07T04:37:41.739564Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6f80a0d2-b774-47c1-b422-40549746793b · outbound

This paper cites Papadimitriou.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Papadimitriou

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-07T04:37:41.743893Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 28b9b07c-7242-492d-b532-e15d9f4d41e5 · outbound

This paper cites Puterman.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Puterman

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-07T04:37:41.747921Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9731ce8-c5d2-4300-887b-3fc75c6c32e3 · outbound

This paper cites Ranking and repulsing supermartingales for reachability in randomized programs.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Ranking and repulsing supermartingales for reachability in randomized programs

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-07T04:37:41.751993Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6312cd64-9a9c-42e1-818e-bbd11d34e42c · outbound

This paper cites Optimal policies for quantum markov decision processes.

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version) Optimal policies for quantum markov decision processes

Reference 36

Resolution: verified exact; doi, observed 2026-08-07T04:37:41.795653Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Pith citing papers

No inbound Pith citation observations are available.