Paper Citation Record · LEDGER

Are Parametric Markov Chains Monotonic?

As of 5 August 2026, this Paper Citation Record lists 48 of 48 outbound references and 0 inbound Pith citation observations for arXiv:1907.08491.

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

pith.paper-citation-record.v1
1907.08491 v1

Coverage vector

measured 48 of 48 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-24T19:02:58.877167Z

measured 48 of 48 standing notices

One-hop event checks from named stored sources.

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

48 of 48 outbound references displayed

verified exact0
verified fuzzy38
unresolved8
parse uncertain0
malformed identifier0
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 1a5eccb9-c8fc-4275-8728-7d3166aa5ee3 · outbound

This paper cites an unresolved cited work.

Are Parametric Markov Chains Monotonic? Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-05-24T19:04:51.073046Z

Source-reported events for the cited work

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

Observation a5995baa-c4fe-418b-a35a-7a472cad8455 · outbound

This paper cites In: SRDS.

Are Parametric Markov Chains Monotonic? In: SRDS

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:51.109643Z

Source-reported events for the cited work

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

Observation d61ca3c0-b056-4838-a548-58a3a0428904 · outbound

This paper cites In: Handbook of Model Checking.

Are Parametric Markov Chains Monotonic? In: Handbook of Model Checking

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:51.099387Z

Source-reported events for the cited work

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

Observation e4c2d264-2e22-4d6f-95ff-1b7639a4fc09 · outbound

This paper cites MI T Press (2008) 3 Although monotonicity is not explicitly mentioned in [40].

Are Parametric Markov Chains Monotonic? MI T Press (2008) 3 Although monotonicity is not explicitly mentioned in [40]

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:51.096063Z

Source-reported events for the cited work

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

Observation 581148df-5529-4c33-9d9b-6ea012b2ac99 · outbound

This paper cites In: TACAS.

Are Parametric Markov Chains Monotonic? In: TACAS

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:51.102695Z

Source-reported events for the cited work

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

Observation 01edda6b-4b37-410a-9293-17224e32e0e1 · outbound

This paper cites In: IJCAI.

Are Parametric Markov Chains Monotonic? In: IJCAI

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:51.106106Z

Source-reported events for the cited work

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

Observation 620d3300-03c1-4f5a-bd78-9e6d0309f0cd · outbound

This paper cites an unresolved cited work.

Are Parametric Markov Chains Monotonic? Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-05-24T19:04:51.117037Z

Source-reported events for the cited work

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

Observation 831aeb0b-f724-47b3-a7c8-94d719b0b00e · outbound

This paper cites In: CA V.

Are Parametric Markov Chains Monotonic? In: CA V

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:51.088380Z

Source-reported events for the cited work

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

Observation 81861180-74ed-4648-882e-fd01dadde149 · outbound

This paper cites Paoletti, N.: Eﬃcient synthesis of robust models for stochastic systems.

Are Parametric Markov Chains Monotonic? Paoletti, N.: Eﬃcient synthesis of robust models for stochastic systems

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:51.092402Z

Source-reported events for the cited work

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

Observation b42d6322-b2ca-4ada-9cdf-fb93e4ed092d · outbound

This paper cites Act a Inf.

Are Parametric Markov Chains Monotonic? Act a Inf

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:51.113276Z

Source-reported events for the cited work

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

Observation c498da9d-31f6-4bf8-bf4b-9a8a0a30b002 · outbound

This paper cites In: FoSSaCS.

Are Parametric Markov Chains Monotonic? In: FoSSaCS

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:51.124227Z

Source-reported events for the cited work

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

Observation b6bd7c49-4389-43e4-ab07-45be3e5dfcbf · outbound

This paper cites an unresolved cited work.

Are Parametric Markov Chains Monotonic? Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-05-24T19:04:51.120386Z

Source-reported events for the cited work

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

Observation 7380fcfd-1895-4c07-b0cb-cc66f3cd883c · outbound

This paper cites In: TASE.

Are Parametric Markov Chains Monotonic? In: TASE

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:51.047424Z

Source-reported events for the cited work

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

Observation 8e6db8ad-759a-447c-9637-a1caf4a324f3 · outbound

This paper cites Reachability in Augmented Interval Markov Chains.

Are Parametric Markov Chains Monotonic? Reachability in Augmented Interval Markov Chains

Reference 14

Resolution: metadata mismatch; local_arxiv, observed 2026-05-24T19:04:50.191527Z

Source-reported events for the cited work

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

Observation 6a9f4e3d-d75c-43df-88a6-d9bf3c5c191d · outbound

This paper cites In: ATV A.

Are Parametric Markov Chains Monotonic? In: ATV A

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:51.069485Z

Source-reported events for the cited work

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

Observation a6e343e7-3f42-43cb-af14-d8fe4649d9f2 · outbound

This paper cites Ze itschrift fr Wahrschein- lichkeitstheorie und Verwandte Gebiete 10 (1968).

Are Parametric Markov Chains Monotonic? Ze itschrift fr Wahrschein- lichkeitstheorie und Verwandte Gebiete 10 (1968)

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:50.979873Z

Source-reported events for the cited work

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

Observation 75e72517-4bb8-49e6-9192-5f7480585cfa · outbound

This paper cites In: PAP M-PROBMIV.

Are Parametric Markov Chains Monotonic? In: PAP M-PROBMIV

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:51.055234Z

Source-reported events for the cited work

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

Observation c5f548c6-e439-48c5-8e6e-1cf10737aba3 · outbound

This paper cites In: Proc.

Are Parametric Markov Chains Monotonic? In: Proc

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:51.051008Z

Source-reported events for the cited work

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

Observation d29c040d-164b-46fe-8e21-4fd3d04d9966 · outbound

This paper cites In: CA V (1).

Are Parametric Markov Chains Monotonic? In: CA V (1)

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:51.065974Z

Source-reported events for the cited work

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

Observation 6e3240df-2b99-4f14-9dc0-e7571ebd33e0 · outbound

This paper cites In: CA V (2).

Are Parametric Markov Chains Monotonic? In: CA V (2)

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:50.986455Z

Source-reported events for the cited work

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

Observation 4709b161-433c-4b0b-9764-8477ea299b7e · outbound

This paper cites In: ICSE.

Are Parametric Markov Chains Monotonic? In: ICSE

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:50.961610Z

Source-reported events for the cited work

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

Observation 45e641c5-aa1c-4dc0-94ac-418518837ad1 · outbound

This paper cites IEEE TSE 42(1) (2016).

Are Parametric Markov Chains Monotonic? IEEE TSE 42(1) (2016)

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:51.032738Z

Source-reported events for the cited work

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

Observation df42df74-7358-43dd-8fa0-3a8d93337429 · outbound

This paper cites In: ATV A.

Are Parametric Markov Chains Monotonic? In: ATV A

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:51.036890Z

Source-reported events for the cited work

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

Observation 434523e5-3d3b-4ddb-af06-99ad15a42fed · outbound

This paper cites an unresolved cited work.

Are Parametric Markov Chains Monotonic? Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-05-24T19:04:51.021827Z

Source-reported events for the cited work

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

Observation eb515c2c-e9cc-40d9-b20d-591ec8877cc1 · outbound

This paper cites an unresolved cited work.

Are Parametric Markov Chains Monotonic? Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-05-24T19:04:50.983066Z

Source-reported events for the cited work

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

Observation c564a9f3-b1ba-4361-bc7d-985fae5cf82d · outbound

This paper cites In: QEST.

Are Parametric Markov Chains Monotonic? In: QEST

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:51.018143Z

Source-reported events for the cited work

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

Observation 870ae7b8-71eb-4425-8340-743a6ea24744 · outbound

This paper cites Software Tools for Technology Transfer 13(1) (2010).

Are Parametric Markov Chains Monotonic? Software Tools for Technology Transfer 13(1) (2010)

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:51.010466Z

Source-reported events for the cited work

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

Observation a1588190-c04a-4e24-a560-995064119595 · outbound

This paper cites In: TACAS.

Are Parametric Markov Chains Monotonic? In: TACAS

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:51.025116Z

Source-reported events for the cited work

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

Observation 2a156167-474f-44a2-97e8-13f6d85c6e91 · outbound

This paper cites an unresolved cited work.

Are Parametric Markov Chains Monotonic? Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-05-24T19:04:50.999172Z

Source-reported events for the cited work

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

Observation 92068a55-4165-4685-99fe-887b18e52503 · outbound

This paper cites In: GandA LF.

Are Parametric Markov Chains Monotonic? In: GandA LF

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:51.013958Z

Source-reported events for the cited work

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

Observation 425b2928-3fdf-467d-bffe-cfe0dbc8cf0d · outbound

This paper cites I n: QEST.

Are Parametric Markov Chains Monotonic? I n: QEST

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:51.028479Z

Source-reported events for the cited work

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

Observation be9d8ba2-e8c7-437e-ad4a-9d75088367af · outbound

This paper cites In: LICS.

Are Parametric Markov Chains Monotonic? In: LICS

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:51.040356Z

Source-reported events for the cited work

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

Observation ab70ff74-6f0e-46dc-ae22-e70419c6445b · outbound

This paper cites ACM Comm.

Are Parametric Markov Chains Monotonic? ACM Comm

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:51.127739Z

Source-reported events for the cited work

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

Observation ec1b067f-12ca-4ba7-940c-6de77796594f · outbound

This paper cites an unresolved cited work.

Are Parametric Markov Chains Monotonic? Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-05-24T19:04:51.062516Z

Source-reported events for the cited work

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

Observation 144af352-f7c3-4975-9307-ae0cc6565d48 · outbound

This paper cites In: LICS.

Are Parametric Markov Chains Monotonic? In: LICS

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:51.084637Z

Source-reported events for the cited work

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

Observation 5d8fd474-5aaf-4dc6-8b4d-deeb6522cc58 · outbound

This paper cites In: CA V.

Are Parametric Markov Chains Monotonic? In: CA V

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:51.077340Z

Source-reported events for the cited work

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

Observation 22ac47f1-6c23-48b9-b700-34b9f2701523 · outbound

This paper cites In: QEST.

Are Parametric Markov Chains Monotonic? In: QEST

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:51.058920Z

Source-reported events for the cited work

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

Observation 5db03bf0-638d-4b1a-a49a-cd107606ccbe · outbound

This paper cites Formal Asp.

Are Parametric Markov Chains Monotonic? Formal Asp

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:51.006807Z

Source-reported events for the cited work

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

Observation 2dea360d-7f9c-4e2f-a6e3-ed08772c5061 · outbound

This paper cites Evaluating the relia- bility of NAND multiplexing with PRISM.

Are Parametric Markov Chains Monotonic? Evaluating the relia- bility of NAND multiplexing with PRISM

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:50.990429Z

Source-reported events for the cited work

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

Observation 7d2696f6-9ca9-4ca7-ab03-67e97e0cca22 · outbound

This paper cites an unresolved cited work.

Are Parametric Markov Chains Monotonic? Unresolved cited work

Reference 40

Resolution: unresolved; raw_fallback, observed 2026-05-24T19:04:50.994022Z

Source-reported events for the cited work

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

Observation 6ec6146d-3b62-4c88-a62d-68e11a53a427 · outbound

This paper cites In: ATV A.

Are Parametric Markov Chains Monotonic? In: ATV A

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:51.002898Z

Source-reported events for the cited work

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

Observation 3ea73efa-8011-4fdc-88f3-7461e1a99dab · outbound

This paper cites ACM Trans.

Are Parametric Markov Chains Monotonic? ACM Trans

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:51.043920Z

Source-reported events for the cited work

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

Observation 995bf0de-615b-46dc-bc44-d04ef74b6c0c · outbound

This paper cites In: FoSSaCS.

Are Parametric Markov Chains Monotonic? In: FoSSaCS

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:51.081218Z

Source-reported events for the cited work

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

Observation a8e65292-9aaf-4e5a-aa65-b7905c3cbddd · outbound

This paper cites On the Complexity of Reachability in Parametric Markov Decision Processes.

Are Parametric Markov Chains Monotonic? On the Complexity of Reachability in Parametric Markov Decision Processes

Reference 44

Resolution: metadata mismatch; local_arxiv, observed 2026-05-24T19:04:50.184479Z

Source-reported events for the cited work

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

Observation b1ee6de5-c7c4-4d88-bff4-34bf1f40b60e · outbound

This paper cites For this the induction step holds.

Are Parametric Markov Chains Monotonic? For this the induction step holds

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:50.965329Z

Source-reported events for the cited work

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

Observation 87b690c9-1bf6-4d29-af57-fd699e2a3cfd · outbound

This paper cites That is, ∀u∈ R.

Are Parametric Markov Chains Monotonic? That is, ∀u∈ R

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:50.972695Z

Source-reported events for the cited work

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

Observation 24e53b2e-74ff-470c-909c-15d35cc9b5c1 · outbound

This paper cites That is, ∀u∈ R.

Are Parametric Markov Chains Monotonic? That is, ∀u∈ R

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:50.976383Z

Source-reported events for the cited work

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

Observation e4cb94c4-f16f-4c40-9190-d945f7e2d649 · outbound

This paper cites That is, ∀u∈ R.

Are Parametric Markov Chains Monotonic? That is, ∀u∈ R

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T19:04:50.968937Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.