Paper Citation Record · LEDGER

Expressivity of bisimulation pseudometrics over analytic state spaces

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

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

pith.paper-citation-record.v1
2505.23635 v1

Coverage vector

measured 46 of 46 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T12:53:17.503722Z

measured 46 of 46 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

46 of 46 outbound references displayed

verified exact7
verified fuzzy28
unresolved11
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 951ef8e2-d83f-4d44-926d-0791320ade0d · outbound

This paper cites Abstract and concrete categories: The joy of cats, 2004.

Expressivity of bisimulation pseudometrics over analytic state spaces Abstract and concrete categories: The joy of cats, 2004

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:53:26.844172Z

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 ab194114-7094-49bd-984c-c15654de9acb · outbound

This paper cites an unresolved cited work.

Expressivity of bisimulation pseudometrics over analytic state spaces Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-07T12:53:26.558272Z

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 ffc0e6a9-09ce-47a1-9bba-a19eb001fe96 · outbound

This paper cites o nig, Karla Messing, Jonas Forster, Lutz Schr\.

Expressivity of bisimulation pseudometrics over analytic state spaces o nig, Karla Messing, Jonas Forster, Lutz Schr\

Reference 3

Resolution: verified exact; doi, observed 2026-08-07T12:53:26.364533Z

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 9dbd38c4-0093-4118-8789-45912ff3657a · outbound

This paper cites Henneysey-milner type theorem for measurable pseudometrics, 2025.

Expressivity of bisimulation pseudometrics over analytic state spaces Henneysey-milner type theorem for measurable pseudometrics, 2025

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:53:26.121153Z

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 484324df-2ddb-442a-89aa-73ae3c398c93 · outbound

This paper cites Bogachev.

Expressivity of bisimulation pseudometrics over analytic state spaces Bogachev

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:53:25.932792Z

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 5e266990-9ca4-4a04-acb8-93fe49b2aa7c · outbound

This paper cites Up-to techniques for behavioural metrics via fibrations.

Expressivity of bisimulation pseudometrics over analytic state spaces Up-to techniques for behavioural metrics via fibrations

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T12:53:13.676707Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a5396b9-2e35-4b6e-bfb7-2336359cdd6b · outbound

This paper cites Decision-theoretic planning: structural assumptions and computational leverage.

Expressivity of bisimulation pseudometrics over analytic state spaces Decision-theoretic planning: structural assumptions and computational leverage

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:53:25.798098Z

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 c25f3b74-404d-455e-a7a9-fc96eaccb09e · outbound

This paper cites an unresolved cited work.

Expressivity of bisimulation pseudometrics over analytic state spaces Unresolved cited work

Reference 8

Resolution: verified exact; doi, observed 2026-08-07T12:53:18.314495Z

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 39c1de53-ef22-4ca7-81d5-21fb84bb2a7c · outbound

This paper cites A behavioural pseudometric for continuous-time Markov processes.

Expressivity of bisimulation pseudometrics over analytic state spaces A behavioural pseudometric for continuous-time Markov processes

Reference 9

Resolution: verified exact; local_arxiv, observed 2026-08-07T12:53:18.802107Z

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 3a012039-bef0-48af-91fc-38c101ce63ec · outbound

This paper cites Metrics for labeled M arkov systems.

Expressivity of bisimulation pseudometrics over analytic state spaces Metrics for labeled M arkov systems

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:53:25.594917Z

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 e34d56f0-f6a2-4499-98ab-b3939b923405 · outbound

This paper cites Bisimulation for labelled M arkov processes.

Expressivity of bisimulation pseudometrics over analytic state spaces Bisimulation for labelled M arkov processes

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-07T12:53:14.192931Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16715c65-6cb7-4d7a-aeba-01e6c0948ec8 · outbound

This paper cites Metrics for labelled M arkov processes.

Expressivity of bisimulation pseudometrics over analytic state spaces Metrics for labelled M arkov processes

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-07T12:53:14.285122Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42e88bb7-aa97-4f06-86a1-404cd3d87624 · outbound

This paper cites Stochastic Relations: Foundations for M arkov Transition Systems.

Expressivity of bisimulation pseudometrics over analytic state spaces Stochastic Relations: Foundations for M arkov Transition Systems

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:53:25.336147Z

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 256fa10e-be60-4b56-ad98-fcbd54714583 · outbound

This paper cites Measures and all that --- A Tutorial.

Expressivity of bisimulation pseudometrics over analytic state spaces Measures and all that --- A Tutorial

Reference 14

Resolution: verified exact; local_arxiv, observed 2026-08-07T12:53:18.476385Z

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 7324108a-1cda-4003-9b6a-5f51db9a4924 · outbound

This paper cites an unresolved cited work.

Expressivity of bisimulation pseudometrics over analytic state spaces Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-07T12:53:25.017275Z

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 1d7397ad-c9b4-4574-9fd9-357a4edac18d · outbound

This paper cites Linear Operators , volume 3 of Pure and Applied Mathematics.

Expressivity of bisimulation pseudometrics over analytic state spaces Linear Operators , volume 3 of Pure and Applied Mathematics

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:53:24.687830Z

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 768513c0-9dab-4e24-9c67-0f38700a6605 · outbound

This paper cites General topology , volume 6 of Sigma series in pure mathematics.

Expressivity of bisimulation pseudometrics over analytic state spaces General topology , volume 6 of Sigma series in pure mathematics

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:53:24.426431Z

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 cfdb55b9-18c5-45dc-bc2b-3328f18d096a · outbound

This paper cites an unresolved cited work.

Expressivity of bisimulation pseudometrics over analytic state spaces Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-07T12:53:24.078242Z

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 82f8521d-448b-44c6-8231-7eaa3e93dbcf · outbound

This paper cites Generalizations of analytic and standard measurable spaces.

Expressivity of bisimulation pseudometrics over analytic state spaces Generalizations of analytic and standard measurable spaces

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:53:23.756383Z

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 35b9e6b6-5f56-4b24-b6c0-1ae77d318567 · outbound

This paper cites Metrics for Finite Markov Decision Processes.

Expressivity of bisimulation pseudometrics over analytic state spaces Metrics for Finite Markov Decision Processes

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-07T12:53:15.089157Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1cd1ca77-0a7f-4df7-bb2a-1f360828b5fb · outbound

This paper cites Bisimulation metrics for continuous M arkov decision processes.

Expressivity of bisimulation pseudometrics over analytic state spaces Bisimulation metrics for continuous M arkov decision processes

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:53:23.545578Z

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 be937a8f-fcc5-4d10-9e9e-29c3aa28dd66 · outbound

This paper cites Quantitative H ennessy- M ilner theorems via notions of density.

Expressivity of bisimulation pseudometrics over analytic state spaces Quantitative H ennessy- M ilner theorems via notions of density

Reference 22

Resolution: verified exact; doi, observed 2026-08-07T12:53:18.129958Z

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 c4896b0c-1a4d-4a6a-88f1-490e59689fcd · outbound

This paper cites an unresolved cited work.

Expressivity of bisimulation pseudometrics over analytic state spaces Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-07T12:53:23.377426Z

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 b2fab5ad-6b85-42bb-bd44-2cdb337e2b97 · outbound

This paper cites Bellemare.

Expressivity of bisimulation pseudometrics over analytic state spaces Bellemare

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:53:23.145990Z

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 4aa629f4-e3c9-4469-aa15-3d709be7afbe · outbound

This paper cites A categorical approach to probability.

Expressivity of bisimulation pseudometrics over analytic state spaces A categorical approach to probability

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:53:22.894261Z

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 7796cc8b-4055-4a7e-ba81-ccee114a5546 · outbound

This paper cites Equivalence notions and model minimization in M arkov decision processes.

Expressivity of bisimulation pseudometrics over analytic state spaces Equivalence notions and model minimization in M arkov decision processes

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-07T12:53:15.693279Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fbcd11b0-bd83-48e2-836e-213453cd17ef · outbound

This paper cites Predelnye raspredeleniya dlya summ ne\-za\-vi\-si\-mykh sluchaynykh velichin.

Expressivity of bisimulation pseudometrics over analytic state spaces Predelnye raspredeleniya dlya summ ne\-za\-vi\-si\-mykh sluchaynykh velichin

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:53:22.621518Z

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 c8a166e3-9fb7-4e32-9bdd-4518c671ad3d · outbound

This paper cites On observing nondeterminism and concurrency.

Expressivity of bisimulation pseudometrics over analytic state spaces On observing nondeterminism and concurrency

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:53:22.390978Z

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 27e07de0-dba3-4272-9f6b-c1e86ce762e5 · outbound

This paper cites an unresolved cited work.

Expressivity of bisimulation pseudometrics over analytic state spaces Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-07T12:53:22.202960Z

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 9e2ef5d2-e721-4d2b-9f18-6aa2805660f3 · outbound

This paper cites Classical descriptive set theory , volume 156 of Graduate Texts in Mathematics.

Expressivity of bisimulation pseudometrics over analytic state spaces Classical descriptive set theory , volume 156 of Graduate Texts in Mathematics

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:53:21.990092Z

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 0d067d11-ef54-415b-9290-c8ce78814804 · outbound

This paper cites Coalgebraic Behavior Analysis: From Qualitative To Quantitative Analyses.

Expressivity of bisimulation pseudometrics over analytic state spaces Coalgebraic Behavior Analysis: From Qualitative To Quantitative Analyses

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:53:21.803046Z

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 8e6e7c4c-5638-4133-ba02-e35885f8371b · outbound

This paper cites Expressivity of quantitative modal logics: Categorical foundations via codensity and approximation.

Expressivity of bisimulation pseudometrics over analytic state spaces Expressivity of quantitative modal logics: Categorical foundations via codensity and approximation

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:53:21.497618Z

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 c3a4e935-73f5-4a84-8225-81210b037379 · outbound

This paper cites Expressive Logics for Coinductive Predicates.

Expressivity of bisimulation pseudometrics over analytic state spaces Expressive Logics for Coinductive Predicates

Reference 33

Resolution: verified exact; doi, observed 2026-08-07T12:53:17.929065Z

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 fbf1b108-8a43-4d29-a8b6-465d50302fb5 · outbound

This paper cites Two classes of measures.

Expressivity of bisimulation pseudometrics over analytic state spaces Two classes of measures

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:53:21.232170Z

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 d74aefd1-33e4-4220-bbf3-3d58c0dd2022 · outbound

This paper cites Ramachandran and L.

Expressivity of bisimulation pseudometrics over analytic state spaces Ramachandran and L

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:53:21.063695Z

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 c4a13613-128d-4e79-ae76-f1f087172277 · outbound

This paper cites A general duality theorem for marginal problems.

Expressivity of bisimulation pseudometrics over analytic state spaces A general duality theorem for marginal problems

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:53:21.054190Z

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 85c42084-e417-4b70-b305-f64898a4ba8a · outbound

This paper cites On quasi-compact measures.

Expressivity of bisimulation pseudometrics over analytic state spaces On quasi-compact measures

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:53:20.806730Z

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 6aca2d06-8c76-4e19-92d1-733fe0a08138 · outbound

This paper cites Minimax Theorems and Their Proofs , chapter 1.

Expressivity of bisimulation pseudometrics over analytic state spaces Minimax Theorems and Their Proofs , chapter 1

Reference 38

Resolution: verified exact; doi, observed 2026-08-07T12:53:17.675848Z

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 335ae66c-d91c-4a18-8da2-b963fc261b9d · outbound

This paper cites an unresolved cited work.

Expressivity of bisimulation pseudometrics over analytic state spaces Unresolved cited work

Reference 39

Resolution: unresolved; raw_fallback, observed 2026-08-07T12:53:20.583048Z

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 df560353-0124-450e-94fa-411bc75513ef · outbound

This paper cites Sutton and Andrew G.

Expressivity of bisimulation pseudometrics over analytic state spaces Sutton and Andrew G

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:53:20.421235Z

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 89e9670a-2f97-4047-a9f9-8db8ea857f7c · outbound

This paper cites An algorithm for quantitative verification of probabilistic transition systems.

Expressivity of bisimulation pseudometrics over analytic state spaces An algorithm for quantitative verification of probabilistic transition systems

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:53:20.056768Z

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 ea6f75ab-5bb5-4b55-ba32-a431f1d39baa · outbound

This paper cites Towards quantitative verification of probabilistic transition systems.

Expressivity of bisimulation pseudometrics over analytic state spaces Towards quantitative verification of probabilistic transition systems

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:53:19.699261Z

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 8a4b75ee-2302-4f4b-8f5e-e4e85ba21aa2 · outbound

This paper cites van Douwen.

Expressivity of bisimulation pseudometrics over analytic state spaces van Douwen

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:53:19.431315Z

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 a7d7b62f-8d7d-4493-8853-9701da91d61d · outbound

This paper cites Viglizzo.

Expressivity of bisimulation pseudometrics over analytic state spaces Viglizzo

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:53:19.258818Z

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 a04d702c-e644-4e16-8cf1-5edd29f435f3 · outbound

This paper cites Ward Henson, and Alexander Usvyatsov.

Expressivity of bisimulation pseudometrics over analytic state spaces Ward Henson, and Alexander Usvyatsov

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:53:19.063026Z

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 45127c5a-e011-4c70-8dc9-c999bbbf8bf5 · outbound

This paper cites Learning invariant representations for reinforcement learning without reconstruction.

Expressivity of bisimulation pseudometrics over analytic state spaces Learning invariant representations for reinforcement learning without reconstruction

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:53:18.938615Z

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.