Paper Citation Record · LEDGER

Robust Probabilistic Model Checking with Continuous Reward Domains

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

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

pith.paper-citation-record.v1
2502.04530 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-08T22:29:34.300454Z

measured 46 of 46 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+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 exact1
verified fuzzy37
unresolved8
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 10666621-c1cc-4505-8d23-d8a8e08de7e5 · outbound

This paper cites an unresolved cited work.

Robust Probabilistic Model Checking with Continuous Reward Domains Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-08T22:29:35.107019Z

Source-reported events for the cited work

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

Observation 67d5ac93-6799-48ed-a53b-1be488c37675 · outbound

This paper cites Probabilistic model checking and non-standard multi-objective reasoning.

Robust Probabilistic Model Checking with Continuous Reward Domains Probabilistic model checking and non-standard multi-objective reasoning

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:35.089441Z

Source-reported events for the cited work

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

Observation 8912fe63-e431-419a-8173-9e032a901bd0 · outbound

This paper cites Model Checking Linear- Time Properties of Probabilistic Systems.

Robust Probabilistic Model Checking with Continuous Reward Domains Model Checking Linear- Time Properties of Probabilistic Systems

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:35.072760Z

Source-reported events for the cited work

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

Observation d24cb660-1d19-4344-b9ca-24e4bbcd08bc · outbound

This paper cites Principles of Model Checking.

Robust Probabilistic Model Checking with Continuous Reward Domains Principles of Model Checking

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:35.056185Z

Source-reported events for the cited work

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

Observation 97641036-d8e1-46b5-9012-2cc01e024127 · outbound

This paper cites G., D ABNEY , W., AND MUNOS , R.

Robust Probabilistic Model Checking with Continuous Reward Domains G., D ABNEY , W., AND MUNOS , R

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:35.041141Z

Source-reported events for the cited work

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

Observation 33059f91-f8ca-4815-92d5-829a6b103cf8 · outbound

This paper cites an unresolved cited work.

Robust Probabilistic Model Checking with Continuous Reward Domains Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-08T22:29:35.024368Z

Source-reported events for the cited work

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

Observation 29982cb1-010d-4442-8ce3-af37cb5e5568 · outbound

This paper cites Self-adaptive software needs quantitative verification at runtime.

Robust Probabilistic Model Checking with Continuous Reward Domains Self-adaptive software needs quantitative verification at runtime

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:35.008387Z

Source-reported events for the cited work

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

Observation 3e2cfed7-ca3b-4a5c-b03b-ecc3a6d1a22b · outbound

This paper cites an unresolved cited work.

Robust Probabilistic Model Checking with Continuous Reward Domains Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-08T22:29:34.992359Z

Source-reported events for the cited work

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

Observation 1c13e9dc-9216-4c1f-bb04-ee0bbf879e65 · outbound

This paper cites Introduction to stochastic processes.

Robust Probabilistic Model Checking with Continuous Reward Domains Introduction to stochastic processes

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.977303Z

Source-reported events for the cited work

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

Observation f37a3539-0fdf-4451-a21b-99794655cd6a · outbound

This paper cites Implicit quantile networks for distributional reinforcement learning.

Robust Probabilistic Model Checking with Continuous Reward Domains Implicit quantile networks for distributional reinforcement learning

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.961225Z

Source-reported events for the cited work

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

Observation 1491ff3c-c51b-42e2-937e-5bef610afb54 · outbound

This paper cites Distributional reinforcement learning with quantile regression.

Robust Probabilistic Model Checking with Continuous Reward Domains Distributional reinforcement learning with quantile regression

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.945715Z

Source-reported events for the cited work

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

Observation 22edc6fe-a72b-4130-bc3b-f96897a01f23 · outbound

This paper cites Distributional proba- bilistic model checking.

Robust Probabilistic Model Checking with Continuous Reward Domains Distributional proba- bilistic model checking

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.929146Z

Source-reported events for the cited work

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

Observation dd9bebd6-ab6e-45f7-944b-671699ac1bf5 · outbound

This paper cites an unresolved cited work.

Robust Probabilistic Model Checking with Continuous Reward Domains Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-08T22:29:34.912580Z

Source-reported events for the cited work

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

Observation 73156551-1fe7-4c69-80ec-bd561a8dd3bb · outbound

This paper cites S., M AJUMDAR , R., P RABHU , V.

Robust Probabilistic Model Checking with Continuous Reward Domains S., M AJUMDAR , R., P RABHU , V

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.896747Z

Source-reported events for the cited work

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

Observation ac49130c-6976-4c7c-85ae-f639c0b74a52 · outbound

This paper cites Supporting self- adaptation via quantitative verification and sensitivity analysis at run time.

Robust Probabilistic Model Checking with Continuous Reward Domains Supporting self- adaptation via quantitative verification and sensitivity analysis at run time

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.880644Z

Source-reported events for the cited work

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

Observation ceb47a32-2cf8-4d8a-85ee-f3ebd358d535 · outbound

This paper cites Quantitative multi-objective verification for probabilistic sys- tems.

Robust Probabilistic Model Checking with Continuous Reward Domains Quantitative multi-objective verification for probabilistic sys- tems

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.861284Z

Source-reported events for the cited work

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

Observation facf8118-f9c6-45b2-9f22-21acd20e89a5 · outbound

This paper cites Constrained Approximate Maximum Entropy Learning of Markov Random Fields.

Robust Probabilistic Model Checking with Continuous Reward Domains Constrained Approximate Maximum Entropy Learning of Markov Random Fields

Reference 17

Resolution: verified exact; local_arxiv, observed 2026-08-08T22:29:34.344746Z

Source-reported events for the cited work

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

Observation 54ac5975-4ef4-4c77-998d-f157df612766 · outbound

This paper cites The truncated stieltjes moment problem solved by using kernel density functions.

Robust Probabilistic Model Checking with Continuous Reward Domains The truncated stieltjes moment problem solved by using kernel density functions

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.846222Z

Source-reported events for the cited work

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

Observation 1ef2a7da-d6a9-489e-966b-f7cebd874dcc · outbound

This paper cites an unresolved cited work.

Robust Probabilistic Model Checking with Continuous Reward Domains Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-08T22:29:34.830310Z

Source-reported events for the cited work

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

Observation db424a24-6e4e-453a-8ee9-c6c5170c13d3 · outbound

This paper cites an unresolved cited work.

Robust Probabilistic Model Checking with Continuous Reward Domains Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-08T22:29:34.815242Z

Source-reported events for the cited work

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

Observation 17605bf1-8155-4b2c-bb86-2e22c4a9a822 · outbound

This paper cites Gurobi Optimizer Reference Manual, 2024.

Robust Probabilistic Model Checking with Continuous Reward Domains Gurobi Optimizer Reference Manual, 2024

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.796604Z

Source-reported events for the cited work

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

Observation 0de8478d-8a9a-48b7-be35-a381f200972f · outbound

This paper cites R., M ILLMAN , K.

Robust Probabilistic Model Checking with Continuous Reward Domains R., M ILLMAN , K

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.781245Z

Source-reported events for the cited work

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

Observation 0d409a1d-1237-4ef8-aa2f-d47c3acbe35c · outbound

This paper cites Continuous approximations of discrete phase-type distributions and their applications to reliability models.

Robust Probabilistic Model Checking with Continuous Reward Domains Continuous approximations of discrete phase-type distributions and their applications to reliability models

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.765405Z

Source-reported events for the cited work

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

Observation 0c45b26c-90f3-48b4-bd80-8db4c0bcbe6a · outbound

This paper cites Approximate probabilistic model checking.

Robust Probabilistic Model Checking with Continuous Reward Domains Approximate probabilistic model checking

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.747929Z

Source-reported events for the cited work

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

Observation 29383f11-301e-44db-be3a-d7849acaf580 · outbound

This paper cites Probabilistic self-stabilization.

Robust Probabilistic Model Checking with Continuous Reward Domains Probabilistic self-stabilization

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.732496Z

Source-reported events for the cited work

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

Observation 7e513b93-d4eb-4b9e-a178-2ed512cbdc62 · outbound

This paper cites A kolmogorov-smirnov type statistic with application to test for nonlinearity in time series.

Robust Probabilistic Model Checking with Continuous Reward Domains A kolmogorov-smirnov type statistic with application to test for nonlinearity in time series

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.713145Z

Source-reported events for the cited work

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

Observation bd389011-31ec-40c9-9dde-e78db7cae941 · outbound

This paper cites Techniques for the reconstruction of a distribution from a finite number of its moments.

Robust Probabilistic Model Checking with Continuous Reward Domains Techniques for the reconstruction of a distribution from a finite number of its moments

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.688979Z

Source-reported events for the cited work

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

Observation 197f0b44-0588-4656-a1ec-27d137a93ae3 · outbound

This paper cites A., AND TAAFFE , M.

Robust Probabilistic Model Checking with Continuous Reward Domains A., AND TAAFFE , M

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.668681Z

Source-reported events for the cited work

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

Observation 11e26b31-0fd1-41c1-9648-d841b7b762cc · outbound

This paper cites The probabilistic model checking landscape.

Robust Probabilistic Model Checking with Continuous Reward Domains The probabilistic model checking landscape

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.648732Z

Source-reported events for the cited work

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

Observation b740b40d-03f5-455b-8e77-2944904f76f7 · outbound

This paper cites E., AND PAPPAS , G.

Robust Probabilistic Model Checking with Continuous Reward Domains E., AND PAPPAS , G

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.618463Z

Source-reported events for the cited work

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

Observation 28a4a908-48c0-487d-b065-5fd130d878c9 · outbound

This paper cites Prism: Prob- abilistic symbolic model checker.

Robust Probabilistic Model Checking with Continuous Reward Domains Prism: Prob- abilistic symbolic model checker

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.601087Z

Source-reported events for the cited work

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

Observation 4683e296-3f3c-41cf-b823-9333dfb9d325 · outbound

This paper cites Probabilistic model checking and autonomy.

Robust Probabilistic Model Checking with Continuous Reward Domains Probabilistic model checking and autonomy

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.584962Z

Source-reported events for the cited work

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

Observation 28531887-ea21-4bab-ac2a-4b00859ab1bb · outbound

This paper cites C., AND LIN, X.

Robust Probabilistic Model Checking with Continuous Reward Domains C., AND LIN, X

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.569529Z

Source-reported events for the cited work

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

Observation 4e5c7893-631c-4cf8-8595-eeb9a34dc8b4 · outbound

This paper cites an unresolved cited work.

Robust Probabilistic Model Checking with Continuous Reward Domains Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-08T22:29:34.553995Z

Source-reported events for the cited work

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

Observation 83fba07d-5970-4dff-a979-07581fb75f0a · outbound

This paper cites Results on the quantitative µ-calculus qm µ.

Robust Probabilistic Model Checking with Continuous Reward Domains Results on the quantitative µ-calculus qm µ

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.538191Z

Source-reported events for the cited work

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

Observation 15e43a29-bb09-4451-9b34-e7721bb6ea3a · outbound

This paper cites R., AND PAPANICOLAOU , N.

Robust Probabilistic Model Checking with Continuous Reward Domains R., AND PAPANICOLAOU , N

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.522985Z

Source-reported events for the cited work

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

Observation b9b4a6df-5d08-470e-907e-bd948632f7a0 · outbound

This paper cites M., AND HAKOBYAN , A.

Robust Probabilistic Model Checking with Continuous Reward Domains M., AND HAKOBYAN , A

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.506558Z

Source-reported events for the cited work

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

Observation d8a9b349-8652-4ed4-8418-37d8bc47c869 · outbound

This paper cites Monte carlo based statistical model checking of cyber-physical systems: A review.

Robust Probabilistic Model Checking with Continuous Reward Domains Monte carlo based statistical model checking of cyber-physical systems: A review

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.489674Z

Source-reported events for the cited work

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

Observation 646aac35-c111-4cf6-bf78-9ad0c4f2302c · outbound

This paper cites an unresolved cited work.

Robust Probabilistic Model Checking with Continuous Reward Domains Unresolved cited work

Reference 39

Resolution: unresolved; raw_fallback, observed 2026-08-08T22:29:34.473790Z

Source-reported events for the cited work

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

Observation 84af6a75-aff9-4760-9749-5bf7323571bf · outbound

This paper cites G., Y ANG , M.

Robust Probabilistic Model Checking with Continuous Reward Domains G., Y ANG , M

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.458379Z

Source-reported events for the cited work

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

Observation 251a496a-ba31-4678-bb7a-e4e2b8af1d70 · outbound

This paper cites Meda: mixed erlang distributions as phase-type representations of empirical distribution functions.

Robust Probabilistic Model Checking with Continuous Reward Domains Meda: mixed erlang distributions as phase-type representations of empirical distribution functions

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.442818Z

Source-reported events for the cited work

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

Observation bf8bcf0c-f356-47ff-98bb-2cef816bfefb · outbound

This paper cites Stochastic Models: An Algorithmic Approach.

Robust Probabilistic Model Checking with Continuous Reward Domains Stochastic Models: An Algorithmic Approach

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.425558Z

Source-reported events for the cited work

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

Observation 0cae8962-af59-4b7d-b2c7-68ec4426a3d5 · outbound

This paper cites Phase-type distributions & mixtures of erlangs.

Robust Probabilistic Model Checking with Continuous Reward Domains Phase-type distributions & mixtures of erlangs

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.408998Z

Source-reported events for the cited work

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

Observation 3f48b1ba-9413-435e-9213-762e3573448c · outbound

This paper cites Fitting mixtures of erlangs to censored and truncated data using the em algorithm.

Robust Probabilistic Model Checking with Continuous Reward Domains Fitting mixtures of erlangs to censored and truncated data using the em algorithm

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.393479Z

Source-reported events for the cited work

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

Observation bda701fb-c7e6-4d98-8758-3d46c02d6135 · outbound

This paper cites E., H ABERLAND , M., R EDDY, T., C OURNAPEAU , D., B UROVSKI , E., P ETERSON , P., WECKESSER , W., B RIGHT , J., ET AL.

Robust Probabilistic Model Checking with Continuous Reward Domains E., H ABERLAND , M., R EDDY, T., C OURNAPEAU , D., B UROVSKI , E., P ETERSON , P., WECKESSER , W., B RIGHT , J., ET AL

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.376778Z

Source-reported events for the cited work

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

Observation d3729491-d5aa-4eb9-bce6-734ce430c7b4 · outbound

This paper cites U., DE LA IGLESIA , D.

Robust Probabilistic Model Checking with Continuous Reward Domains U., DE LA IGLESIA , D

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T22:29:34.361212Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.